Ingénieur·e de recherche en Reactive Synthesis

À propos du poste

Nous recherchons un·e ingénieur·e de recherche pour travailler sur la synthèse réactive et ses applications, notamment la génération de contrôleurs corrects à partir de formules LTL. Le poste s’inscrit dans un projet de recherche appliquée au sein de Télécom SudParis, membre de l’Institut Mines‑Télécom.

Missions principales

• Conduire des recherches sur la synthèse réactive et les techniques d’automates.
• Concevoir et développer des algorithmes de traduction de formules, d’optimisation de contrôleurs et d’autres outils associés.
• Participer à la réalisation de contrats de recherche et à la diffusion des résultats (publications, conférences).

Profil recherché

• Doctorat récent (< 3 ans) ou diplôme Bac+5 (ou équivalent) avec expérience pertinente.
• Maîtrise de l’anglais à l’écrit et à l’oral.
• Capacité à travailler en équipe avec des partenaires académiques et industriels.

Compétences requises

• Connaissances approfondies en méthodes formelles, théorie des automates et logique temporelle LTL.
• Maîtrise des langages Python et C++ ainsi que de leurs écosystèmes.
• Expertise en conception et analyse d’algorithmes.
• Excellentes compétences en communication scientifique.