Ingénieur·e de recherche en identification d'état pour systèmes temps réel réactifs (CDD 3 mois)

À propos du poste

Conduire des travaux de recherche fondamentale et appliquée en informatique sur l’identification d’état et la détection des conditions de compétition dans les systèmes temps réel. Étudier et développer des approches visant à améliorer la fiabilité et les performances des systèmes de réseaux distribués.

Missions principales

• Mener des travaux de recherche sur l’identification d’état et la détection des conditions de compétition dans les systèmes temps réel, incluant modélisation avec automates temporisés et vérification avec UPPAAL.
• Valoriser et diffuser les résultats de recherche en rédigeant des articles scientifiques, en présentant lors de conférences et séminaires.
• Contribuer aux activités d’enseignement et d’encadrement des étudiants sur des projets de recherche.

Profil recherché

• Doctorat ou PhD obtenu depuis moins de 3 ans.
• Maîtrise de l’analyse des systèmes temps réel réactifs, de la détection des conditions de compétition et de l’identification d’état.
• Maîtrise de l’anglais à l’écrit et à l’oral (le français est un atout).

Compétences requises

• Analyse des systèmes temps réel réactifs et théorie de la concurrence.
• Détection des conditions de compétition et identification d’état (séquences de synchronisation, homing, distinguishing).
• Vérification formelle avec les outils UPPAAL et Z3.
• Programmation pour implémentation, expérimentation et évaluation des méthodes.