Ingénieur-e de recherche en Reactive Synthesis - CDD - 12 mois (H/F)

Contexte et Missions<br>Mener des recherches sur la synthèse réactive et les applications de la théorie des automates.<br>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.<br><br>- Assurer des missions de recherche dans le domaine de la synthèse réactif<br>- Participer à la notoriété de l'Ecole et de l'Institut Mines-Télécom<br><br>Activités<br> 1/&nbsp;&nbsp;Assurer des missions de recherche dans le domaine en synthèse réactif et des sujets voisinés<br>- Participer à la réalisation des contrats de recherche<br>- Concevoir et développer des algorithmes liés à la synthèse réactive comme les algorithmes de traduction des formules, l'optimisation des contrôleurs et autres<br>- Participer aussi à l'utilisation de ces techniques dans des disciplines voisines comme l'apprentissage guidé. Cas de contraindre l'apprentissage par renforcement par des superviseurs formels<br>- Communiquer avec les partenaires de la chaire ASC (<a href="https://www.ip-paris.fr/en/research/chairs/asc" target="_blank" rel="nofollow">https://www.ip-paris.fr/en/research/chairs/asc</a> pour trouver des points d'intérêt commun<br> <br>2/&nbsp;&nbsp; Participer à la notoriété de l'Ecole et de l'Institut Mines-Télécom<br>- Etre associé-e aux publications relatives aux projets de recherche en méthodes formelles<br>- Entretenir des relations étroites avec les institutions académiques, les centres de recherche et les entreprises<br>- Présenter des travaux pendant des workshops et conférences approprié (par. Ex. En IdF MeFoSyloma) et pendant les journées de la chair