Postdoctorant (h/f) aspects dynamiques et arithmétiques de la vérification

Portail > Offres > Offre UMR8243-MELGOD-001 - Postdoctorant (H/F) Aspects dynamiques et arithmétiques de la vérification


Postdoctorant (H/F) Aspects dynamiques et arithmétiques de la vérification

Cette offre est disponible dans les langues suivantes :

Date Limite Candidature : mardi 7 janvier 2025 23:59:00 heure de Paris
Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler.


Informations générales

Intitulé de l'offre : Postdoctorant (H/F) Aspects dynamiques et arithmétiques de la vérification
Référence : UMR8243-MELGOD-001
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : mardi 17 décembre 2024
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 24 mois
Date d'embauche prévue : 1 avril 2025
Quotité de travail : Complet
Rémunération : à partir 3080 € Brut
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 1 - Interactions, particules, noyaux du laboratoire au cosmos


Missions

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, et les aspects logiques de la vérification.


Activités

- 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
- Encadrement de stagiaires, collaboration avec des doctorants.


Compétences

- Doctorat en informatique théorique ou en mathématiques
- Mener un projet de recherche de façon indépendante
- Rédiger des articles scientifiques et présenter ses travaux en séminaire
- Compétences en matière d'organisation et de collaboration
- Bonne compétence académique en anglais (C1)
- Une expertise en systèmes dynamiques et en vérification est un avantage.


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 contraintes.

#J-18808-Ljbffr