Le poste · aperçu
Ce que l’entreprise recherche
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'Institut Mines-Télécom Activités 1/ Assurer des missions de recherche dans le domaine en synthèse réactif et des sujets voisinés - Participer à la réalisation des contrats de recherche - Concevoir et développer des algorithmes liés à la synthèse…
La suite de l’annonce et le lien de candidature sont disponibles depuis ton espace candidat.