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

À propos du poste

Ingénieur·e de recherche chargé·e d’étudier l’identification d’état et la détection des conditions de compétition dans les systèmes temps réel réactifs, au sein de l’Institut Mines‑Télécom à Palaiseau.

Missions principales

• Conduire des travaux de recherche fondamentale et appliquée sur l’identification d’état et la détection des conditions de compétition dans les systèmes temps réel.
• Développer des approches visant à améliorer la fiabilité et les performances des réseaux distribués.
• Mobiliser des modèles formels temps réel, des méthodes d’identification d’état et des stratégies de détection des conditions de compétition.
• Contribuer au développement de nouvelles méthodes d’analyse et de vérification des systèmes temps réel.

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 vérification formelle et de l’identification d’état, ainsi que des outils UPPAAL et Z3.

Compétences requises

• Utilisation d’UPPAAL et de Z3 pour la vérification formelle.
• Programmation pour la mise en œuvre et l’évaluation des méthodes développées.
• Modélisation avec des automates temporisés et des machines à états finis temporisées.