Postdoc : Dynamic and arithmetic aspects of verification M/F
New
- Researcher in FTC
- 12 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
Institut de Recherche en Informatique Fondamentale
Contract Type
Researcher in FTC
Working hHours
Full Time
Workplace
75205 PARIS 13
Contract Duration
12 mounth
Date of Hire
01/10/2026
Remuneration
€3,131 gross per month for candidates with less than two years of prior postdoctoral experience.
Apply Application Deadline : 05 May 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.
Compensation and benefits
Compensation
€3,131 gross per month for candidates with less than two years of prior postdoctoral 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-010 |
|---|---|
| CN Section(s) / Research Area | Information sciences: bases of information technology, calculations, algorithms, representations, uses |
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.