Postdoc: End-to-End Verification for Control Systems

Une institution académique renommée à Toulouse recherche un chercheur postdoctoral pour contribuer à un projet international. Le candidat idéal doit avoir un doctorat en théorie du contrôle ou en méthodes formelles et posséder une compétences en vérification logicielle. Il participera à la conception et à l'évaluation de techniques de vérification formelle. Ce poste offre une opportunité unique de travailler à la pointe de la recherche en systèmes critiques. Une maîtrise de l'anglais est requise.

#J-18808-Ljbffr