Job description
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’…
Responsibilities
- Carry out the core duties described in the original job listing.
- Work with the hiring team as outlined in the source posting.
Requirements
- See the original listing (linked via Apply) for full requirements.
- Meet the qualifications the employer specifies for this role.
Benefits
- Benefits as specified by the employer — see the original listing for details.
Keywords
IngnieurrechercheReactiveSynthesisCDDmois