Informations générales
Intitulé de l'offre : Postdoc : Dynamic and arithmetic aspects of verification M/F (H/F)
Référence : UMR8243-TIFKON-005
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : vendredi 9 janvier 2026
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 12 mois
Date d'embauche prévue : 1 juillet 2026
Quotité de travail : Complet
Rémunération : €3,080 to €4,291 gross per month, depending on previous experience.
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 06 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
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.
Activités
- 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
Compétences
- PhD in theoretical computer science or mathematics
- Conduct research projects independently
- Write scientific articles and present work in seminars
- Organizational and collaboration skills
Contexte de travail
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.
Contraintes et risques
None