Discrete Event Systems: AI Diagnostics & Reliability

Université de Toulouse, LAAS-CNRS, DO et RISC, recherche un Maître de conférences pour travailler sur les systèmes à événements discerts et l’informatique industrielle. Le poste s’inscrit dans des axes mêlant automatique, IA et vérification formelle afin d’améliorer la détection et l’explication des fautes dans des systèmes complexes.

Les profils issus de DO et/ou RISC contribueront à des approches formelles et hybrides, avec apprentissage automatique appliqué à la détection d’anomalies et à la