Browse jobs

Job details

• Location: Palaiseau, Essonne
• Work mode: Onsite
• Employment type: Contract (Not an internship)
• Salary: Salary details are available in the employer description.

Role overview

Vos missions en quelques mots Contexte et Missions Mener des recherches sur la synthèse réactive et les applications de la théorie des automates. Ce projet porte principalement sur les avancées pratiques et théoriques de la synthèse réactive et des thèmes connexes. L'un des axes centraux sera la synthèse de contrôleurs « corrects par construction » à partir de formules LTL. - Assurer des missions de recherche dans le domaine de la synthèse réactif - Participer à la notoriété de l’Ecole et de l’…