Ingénieur·e de recherche en théorie de concurrence et HDA (CDD 6 mois)

À propos du poste

Nous recherchons un·e ingénieur·e de recherche spécialisé·e en théorie de la concurrence et en Hybrid Dynamical Automata (HDA) pour un contrat à durée déterminée de six mois au sein de Télécom SudParis, membre de l’Institut Mines‑Télécom.

Missions principales

• Conduire des projets de recherche sur les HDA et la théorie de la concurrence.
• Participer à la réalisation de contrats de recherche et à la rédaction de publications scientifiques.
• Concevoir, développer et mettre en œuvre des outils techniques ou méthodologiques innovants pour les projets.
• Élaborer des algorithmes prototypes et documenter les logiciels développés afin d’en faciliter le transfert.
• Effectuer des études liant les HDA à d’autres formalismes, notamment les réseaux de Petri.

Profil recherché

• Formation supérieure en informatique, mathématiques ou domaines connexes.
• Intérêt marqué pour la recherche en systèmes formels et en théorie des langages.
• Capacité à travailler en équipe pluridisciplinaire et à publier les résultats obtenus.

Compétences requises

• Connaissances en théorie des automates, HDA ou modèles similaires.
• Maîtrise des concepts de réseaux de Petri.
• Compétences en programmation pour le prototypage d’algorithmes.

Ce que nous offrons

• Environnement de recherche dynamique au sein d’une grande école d’ingénieurs.
• Possibilité de contribuer à des projets à fort impact scientifique.