Postdoc : Dynamic and arithmetic aspects of verification M/F
New
- Researcher in FTC
- 24 month
- 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
Institut de Recherche en Informatique Fondamentale
Contract Type
Researcher in FTC
Working hHours
Full Time
Workplace
75205 PARIS 13
Contract Duration
24 month
Date of Hire
01/11/2026
Remuneration
3131 € gross per month or 4300€ gross per month if more than 2 years of experience
Apply Application Deadline : 24 June 2026 23:59
Job Description
Missions
The research will be conducted within the framework of the ERC Synergy DynAMICs (Valérie Berthé, Florian Luca, and Joël Ouaknine). Topics of interest include, but are not limited to, the study of linear dynamic systems, symbolic dynamics, recurrent sequences, verification, and logical aspects of verification.
Activity
- Research within the Automata and Applications group
- Participation in research seminars and group discussions
- Participation in meetings, research seminars, and discussions within the ERC Dynamics
- Supervision of interns, collaboration with doctoral students
Your Profil
Skills
- PhD in theoretical computer science or mathematics
- Conduct research projects independently
- Write scientific articles and present work in seminars
- Organizational and collaboration skills
Your Work Environment
The research will be conducted within the Automata and Applications team, whose research focuses on fundamental questions in automata theory on the one hand, and on algorithmic questions arising from concrete problems on the other.
Constraints and risks
None
Compensation and benefits
Compensation
3131 € gross per month or 4300€ gross per month if more than 2 years 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 | UMR8243-TIFKON-015 |
|---|---|
| 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.