Bonjour à toutes et à tous,
Nous diffusons une offre de thèse financée dans le cadre du projet ANR 4RaiMBO – Formal verification for the Safety of Railway Moving Block Operations, portant sur la génération automatique de modèles formels à partir d’une ontologie pour la vérification des systèmes ferroviaires Moving Block / ETCS niveau 3.
La thèse sera accueillie au Laboratoire d’Informatique et Systèmes (LIS), Aix-Marseille Université, à Marseille, pour une durée de 36 mois, avec un démarrage prévu en septembre 2026. Elle s’inscrit dans un projet collaboratif impliquant le LIS, ESTAS – Université Gustave Eiffel et le LITIS – INSA Rouen Normandie.
Le sujet se situe à l’interface entre méthodes formelles, ontologies, ingénierie des exigences, model checking, simulation et systèmes ferroviaires critiques. Il vise à développer une chaîne de transformation allant des exigences Moving Block vers des modèles formels vérifiables, en s’appuyant sur une ontologie du domaine comme représentation pivot.
Nous recherchons une candidate ou un candidat motivé(e), titulaire d’un Master 2 ou diplôme d’ingénieur en informatique, automatique, systèmes embarqués, mathématiques appliquées ou domaine proche. Des compétences ou un fort intérêt pour les méthodes formelles, les systèmes à événements discrets, les ontologies, la modélisation ou la sûreté de fonctionnement seront particulièrement appréciés.
Le dossier de candidature devra comprendre :
- un CV ;
- les relevés de notes ;
- une lettre de motivation ;
- une ou plusieurs lettres de recommandation.
Les candidatures sont à envoyer avant le 21 juin 2026 à :
Rim Saddem
LIS – Aix-Marseille Université
rim.saddem@lis-lab.fr
Objet du mail : Candidature doctorat – Ontologie et modèles formels pour le Moving Block
N’hésitez pas à diffuser largement cette offre auprès d’étudiantes, étudiants, collègues ou réseaux susceptibles d’être intéressés.
Bien cordialement,
Rim SADDEM-YAGOUBI