Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Current events - 1 Assistant professor position, LIFO/Sciences & Technology

Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



1 Assistant professor position, LIFO/Sciences & Technology

Assistant professor

IMPORTANT : Due to Covid19, the application deadline has been postponed to : ***APRIL 9th 2020, 4PM Paris Time***

 

Job Profile :

This job offer concerns a tenured associate professor position at the Sciences and Technology Faculty, with research at the Orléans Fundamental Computer Science Laboratory, (LIFO, EA 4022). 

Teaching covers all the computer science curricula at the faculty: bachelors and masters degrees. Concerning research, the person recruited will join one of the following two teams: Languages, Models and Verification (LMV) or Parallel Programming, Distribution and Data Management (Pamda).

Recruitment date : September 1st 2020
Selection comittee

 

Teaching profile :

The assistant professor will mainly teach in the computer science department of the UFR Sciences et Techniques.

Licence of Computer Science
Master of Computer Science
Master « Miage » (IT for Business)

He/she might participate in any C.S. course in these degrees. He/she might also supervise student projects and trainings.
 

Research profile :

The person recruted will join the Laboratoire d’Informatique Fondamentale d’Orléans (Orléans Fundamental Computer Science Laboratory, or LIFO, EA 4022). The LIFO is a joint lab between University of Orléans and INSA Centre Val de Loire. It has approximately 75 members, of which 45 are tenured faculty.

The lab is located on two campuses : Orléans and Bourges. It is made up of five teams, the first four are located in Orléans, and the last in Bourges :

  • Constraints and Learning (CA),
  • Graphs, Algorithms and Models of Computation (GAMoC),
  • Languages, Models and Verification (LMV),
  • Parallel Programming, Distribution and Data Management (Pamda),
  • Systems and Data Sécurity (SDS).

 

From the scientific point of view, three transversal research areas define the laboratory : (i) Big Data and HPC, (ii) Modelisation and Algorithmics, and (iii) safety and security.

The laboratory is a member of the Research Federation “Computer Science Val de Loire” (ICVL, FED 4279) along with the Tours Computer Science Laboratory (LIFAT, EA 6300). This federation regroups all the computer science researchers of the Centre Val de Loire region. For more details, please see : http://www.info.univ-tours.fr/ICVL/ 


More details on the lab and the teams are available here : https://www.univ-orleans.fr/lifo/

The position is open to candidates willing to integrate one of the following two teams : LMV or Pamda. Both teams are considered with equal priority.


A collaboration with other teams of the laboratory will be considered favourably.
 

LMV Team :
The LMV (Languages, Models and Verification) team work focuses on the formal semantics of parallel and concurrent programming languages. In this context, we also consider static analysis and program proof. The candidate must be able to join our efforts in at least one of the following subjects :

  • Programming languages Models
  • Correctness properties of programming languages
  • Static analysis, test and program proof (data flow, abstract interpretation, separation logic, …)
  • Certification, with proof assistants, of static analysis tools and program proof tools

Keywords :
Programming languages, formals semantics of programming languages, program proof, program analysis, reactive programming, parallel and concurrent programming.
 

Pamda Team :
The Pamda team is build around a common project on accessing, manipulating, analysing and managing efficiently and consistently large volumes of data. The team brings together researchers in parallel programming, distribution and databases.

The candidate must propose an integration project linked to the team’s research themes on the database axis. This axis covers in particular producing intelligent data. The team is also interested in the construction, querying, analysis and evolution of knowledge bases (in particular graph databases) in a context where the quality of results and constraints are respected. All the phases, from the obtention of data (in a more or less structured format), to the setup of datascience type queries define a pipeline of tasks which combine the use of data analysis algorithms, and more classical data management (grouping and aggregation). These works also encompass formal and applied aspects, such as query optimisation problems, or more generally distributed data management questions. The team is seeking candidates whose skills will help further these research directions.

Keywords :
Graph databases, knowledge bases, query optimisation, distributed data

Contacts :

  • Benjamin NGUYEN, head of LIFO : benjamin.nguyen@insa-cvl.fr
  • Frédéric DABROWSKI, head of LMV : frederic.dabrowski@univ-orleans.fr
  • Sébastien LIMET, head of Pamda : sebastien.limet@univ-orleans.fr
  • Head of UFR Sciences and Technology teaching department : pole.info.cst@univ-orleans.fr