Ingénieur·e de recherche en synthèse réactive (CDD 12 mois)

À propos du poste

Nous recherchons un·e ingénieur·e de recherche spécialisé·e en synthèse réactive pour rejoindre l’équipe de Télécom SudParis, école membre de l’Institut Mines‑Télécom. Le contrat est à durée déterminée de 12 mois, basé à Palaiseau.

Missions principales

• Conduire des travaux de recherche sur la synthèse réactive et ses applications, notamment la synthèse de contrôleurs « corrects par construction » à partir de formules LTL.
• Concevoir, implémenter et optimiser des algorithmes de traduction de formules, d’optimisation de contrôleurs et d’autres techniques liées à la synthèse réactive.
• Participer à la réalisation de contrats de recherche et à la diffusion des résultats auprès des partenaires académiques et industriels.
• Explorer l’utilisation de la synthèse réactive dans des domaines voisins comme l’apprentissage guidé ou le renforcement supervisé par des modèles formels.
• Communiquer les avancées scientifiques avec la chaire ASC et contribuer à la notoriété de l’école et de l’institut.

Profil recherché

• Diplôme de niveau master ou doctorat en informatique, mathématiques ou disciplines connexes.
• Bonne connaissance de la théorie des automates et de la logique temporelle linéaire (LTL).
• Intérêt marqué pour la recherche fondamentale et appliquée en systèmes réactifs.
• Capacité à travailler en équipe pluridisciplinaire et à publier des résultats scientifiques.

Compétences requises

• Synthèse réactive
• Logique temporelle linéaire (LTL)
• Théorie des automates
• Développement d'algorithmes et optimisation de contrôleurs
• Apprentissage guidé et renforcement supervisé par modèles formels

Ce que nous offrons

• Contrat à durée déterminée de 12 mois
• Environnement de recherche de haut niveau au sein d’une grande école d’ingénieurs
• Accès à des projets collaboratifs avec des partenaires académiques et industriels