Postdoc to join the ANR ATQUA project – M/F
New
- Researcher in FTC
- 24 mounth
- Doctorate
This offer is available in English version
This offer is open to people with a document recognizing their status as a disabled worker.
Offer at a glance
The Unit
Laboratoire de l'informatique du parallélisme
Contract Type
Researcher in FTC
Working hHours
Full Time
Workplace
69364 LYON 07
Contract Duration
24 mounth
Date of Hire
01/12/2026
Remuneration
From 3 071 euros gross per month depending on level of experience
Apply Application Deadline : 10 June 2026 23:59
Job Description
Missions
To develop the research lines of the ANR ATQUA project on the development, in various directions, of the theory of quantitative algebras.
The research will be based on the use of category theory, classical and infinitary logic, as well as syntactic systems of deduction and reasoning from which it might be possible to derive algorithms or techniques applicable to AI and programming languages.
The ATQUA project is coordinated in France by Matteo Mio (ENS Lyon) and in Germany by Stefan Milius (Friedrich-Alexander University of Erlangen-Nuremberg).
The successful candidate will be expected to foster collaboration between these two research sites by working closely with both. This will involve travel between the two sites.
Activity
Fundamental research in logic, semantics and programming. Literature reviews, writing articles, presenting work at seminars and conferences. Research visits abroad, particularly to Friedrich-Alexander University of Erlangen-Nuremberg.
Your Profil
Skills
We are looking for a candidate with a PhD in mathematics or computer science who has experience in category theory, logic and the theoretical aspects of programming languages.
Ideally, but not essential, with prior knowledge of quantitative algebra theory (by Mardare, Panangaden, Plotkin).
Your Work Environment
You will join the Plume research team at the LIP, located at 46 allée d'Italie in Lyon.
The Laboratory of Parallel Computing was established at the École Normale Supérieure de Lyon in 1988.
It has been a joint research unit of the ENS and the National Centre for Scientific Research (CNRS) since 1989, and of Claude Bernard Lyon 1 University since 2003.
Constraints and risks
The LIP laboratory is not an experimental laboratory and does not involve any particular restrictions or risks.
Compensation and benefits
Compensation
From 3 071 euros gross per month depending on level of experience
Annual leave and RTT
44 jours
Remote Working practice and compensation
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
About the offer
| Offer reference | UMR5668-MARNAR-013 |
|---|---|
| CN Section(s) / Research Area | Information sciences: bases of information technology, calculations, algorithms, representations, uses |
| Relevant experience | 1 to 4 years |
About the CNRS
The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. Its unique position as a multi-specialist allows it to bring together different disciplines to address the most important challenges of the contemporary world, in connection with the actors of change.
Create your alert
Don't miss any opportunity to find the job that's right for you. Register for free and receive new vacancies directly in your mailbox.