Informations générales
Intitulé de l'offre : [H/F] Doctorant(e) Aspects dynamiques et arithmétiques de la vérification
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 : La rémunération est d'un minimum de 2200,00 € mensuel
Section(s) CN : 06 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Description du sujet de thèse
Aspects dynamiques et arithmétiques de la vérification
La recherche sera menée dans le cadre de l'ERC Synergy DynAMICs (Valérie Berthé, Florian Luca et Joël Ouaknine). Les sujets d'intérêt incluent, mais ne sont pas limités à, l'étude des systèmes dynamiques linéaires, la dynamique symbolique, les suites récurrentes, la vérification, les aspects logique de la vérification.
- Recherche dans le cadre du groupe Automates et Applications
- Participation au séminaire de recherche et aux discussions de groupe
- Participation aux réunions, séminaires de recherche et aux discussions menées au sein de l'ERC Dynamics.
Contexte de travail
La recherche aura lieu au sein de l'équipe Automates et Applications dont les recherches portent d’une part sur les questions fondamentales de la théorie des automates et d’autre part sur des questions algorithmiques issues de problèmes concrets.
Contraintes et risques
Pas de risque ni de contraintes