Profil enseignement :
Le ou la candidat(e) interviendra prioritairement dans les formations du Département d’Automatique de la Faculté des Sciences et Technologies de l’Université de Lorraine. Il ou elle s’investira notamment en Licence Sciences pour l’Ingénieur et en Master Ingénierie de Systèmes Complexes.
Les enseignements à prendre en charge portent sur la modélisation et la simulation, l’évaluation, la commande et la vérification des systèmes à évènements discrets (logique, automatismes, systèmes d’information, supervision, vérification formelle…) et des systèmes multi-physiques (discrets, continus, hybrides, mécanique, électronique, logiciel…), et sur l’ingénierie systèmes basée sur les modèles (MBSE) en CM, TD et TP.
Il ou elle assurera l’encadrement de projets en L3 et M1 ainsi qu’en M2 ainsi que des encadrements d’alternants en M1 et M2.
Le ou la candidat(e) devra s’investir dans des responsabilités d’UE, dans le fonctionnement et la gestion des formations, dans le développement et les évolutions de plateformes d’enseignement, ainsi que dans la gestion de la formation en alternance en Master ISC
Composante/UFR : Faculté des Sciences et Technologies (FST)
Profil recherche : Modélisation et simulation pour la conception et la vérification de systèmes complexes
Un des axes de recherche du département ISET (Ingénierie des Systèmes Éco-Techniques) du CRAN porte sur la modélisation et la simulation de systèmes éco-techniques complexes dans un objectif de conception et de vérification de leurs propriétés attendues. Dans cet objectif, le département a besoin de compléter les compétences en présence, par un maître de conférences dont le profil de recherche s’inscrit dans les domaines de la modélisation et la simulation des systèmes à évènements discrets, sans et avec incertitudes ; la vérification de modèles à l’aide de méthodes formelles (model checking) ou de simulations; ou la cosimulation de systèmes multi-physiques et de grandes dimensions.
Les applications visées concernent la conception, la vérification, la sureté/maintenance de systèmes complexes. En regard de ce domaine applicatif, le ou la candidat(e) pourra être amené à s’impliquer dans les travaux scientifiques du CRAN/ISET menés dans le cadre de la chaire industrielle ACTE MBSE (Actionable Collaborative Trustworthy Executable Model-Based Systems Engineering) avec Airbus.
A terme le (la) MCF recruté (e) aura pour ambition, de stabiliser au sein d’ISET, une orientation scientifique plus formelle autour de la vérification/validation des systèmes complexes. Cette orientation recherche fait partie intégrante du futur projet de recherche ISET, et s’inscrit totalement dans les communautés nationales du GdR MACS et de la SAGIP, de l’AFIS mais aussi internationales comme l’IFAC CC5, communautés dans lesquelles des membres ISET sont fortement acteurs.
Nom laboratoire : Centre de Recherche en Automatique de Nancy (CRAN)