Une ingénieur.e d'études en informatique - algorithmique et programmation (H/F)

RESPONSABILITÉS : Ce poste vise à développer de nouvelles méthodes de vérification formelle pour les systèmes temporisés paramétrés soumis à des contraintes énergétiques, en s'appuyant sur les avancées récentes en model checking et en automates temporisés paramétrés. Il s'agit d' identifier les limites des approches existantes, concevoir de nouvelles techniques théoriques et algorithmiques, puis les implémenter et les évaluer expérimentalement, afin de contribuer à l'avancement de l'état de l'art et à l'amélioration des capacités de vérification de systèmes complexes. PROFIL RECHERCHÉ : - Formation de niveau Bac + 3 ou 4 en informatique ou dans un domaine connexe, avec une spécialisation ou un intérêt marqué pour la vérification formelle, l'algorithmique, l'intelligence artificielle, les systèmes distribués, les systèmes embarqués ou les méthodes formelles. - Une formation en informatique fondamentale, génie logiciel, science des données ou systèmes d'information, comportant une solide composante en algorithmique et en programmation, pourra également être considérée. - Expériences antérieures bienvenues pour « occuper le poste : Une première expérience en recherche informatique, algorithmique, programmation ou vérification formelle, notamment dans le cadre d'études académiques ou d'un stage, serait appréciée. Dans l'idéal, la maîtrise des automates temporisés serait un plus.