Informations générales
Intitulé de l'offre : [M/F] Postdoctoral fellow Dynamic and arithmetic aspects of verification (H/F)
Référence : UMR8243-JEMSAM0-019
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : jeudi 17 avril 2025
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 24 mois
Date d'embauche prévue : 1 octobre 2025
Quotité de travail : Complet
Rémunération : from €3080 gross depending on 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 dynamical systems, symbolic dynamics, recurrent sequences, verification, and the logical aspects of verification.
Activités
- Research as part of the Automata and Applications group
- Participation in the research seminar and group discussions
- Participation in meetings, research seminars and discussions within the Dynamics ERC
- Encadrement de stagiaires, collaboration avec des doctorants
Compétences
- PhD in theoretical computer science or mathematics
- Conduct a research project independently
- Write scientific papers and present work in seminars
- Organisational and collaborative skills
- Good academic English (C1)
- Expertise in dynamic systems and verification an advantage
Contexte de travail
- PhD in theoretical computer science or mathematics
- Conduct a research project independently
- Write scientific papers and present work in seminars
- Organisational and collaborative skills
- Good academic English (C1)
- Expertise in dynamic systems and verification an advantage
Contraintes et risques
No risk and constraint