Python Development
Ingénieur·e de recherche en Reactive Synthesis - CDD - 12 mois
Ministères économiques et financiers - Company
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’…
Palaiseau, Essonne, 🇫🇷 France
Contract - Onsite
Posted 2 hours ago
0 applicants
IngnieurrechercheReactiveSynthesis