Informations générales
Intitulé de l'offre : [M/F] PhD student Dynamic and arithmetic aspects of verification (H/F)
Référence : UMR8243-JEMSAM0-017
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : mercredi 9 avril 2025
Type de contrat : CDD Doctorant
Durée du contrat : 36 mois
Date de début de la thèse : 1 octobre 2025
Quotité de travail : Complet
Rémunération : 2200 gross monthly
Section(s) CN : 06 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Description du sujet de thèse
Dynamic and arithmetic aspects of verification
The research will be carried out 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 dynamical systems, symbolic dynamics, recurrent sequences, verification, logical aspects of verification.
- Research within the Automata and Applications group
- Participation in research seminars and group discussions
- Participation in ERC Dynamics meetings, research seminars and discussions.
Contexte de travail
Research will take place within the Automata and Applications team, whose research focuses on fundamental questions in automata theory and algorithmic questions arising from concrete problems.
Contraintes et risques
No risks or constraints