Enseignant.e Chercheur.se en Ingénierie des systèmes interactifs
ENAC
- Toulouse
- CDD
- Temps-plein
L’ENAC est un établissement public à caractère scientifique, culturel et professionnel – grand établissement (EPSCP-GE), sous tutelle de la DGAC (Direction Générale de l’Aviation Civile), Direction du Ministère de la Transition Écologique et Solidaire. L’ENAC comprend une direction générale localisée à Toulouse et 8 sites en France.Vous dépendrez de la subdivision Logiciels, Systèmes et Interaction (LSI) au sein de la division des Systèmes Informatiques pour vos enseignements et de l’équipe d'Informatique Interactive (II) pour votre recherche.
Activités d’enseignement au sein de LSI
La subdivision Logiciels, Systèmes et Interactions (LSI) est responsable des enseignements dans le domaine de l'ingénierie au sens large et plus particulièrement des systèmes à dominante logicielle. Ces enseignements sont délivrés dans les formations initiales et continues ainsi que, possiblement, à l'international dans le cadre de contrats. La formation initiale concerne surtout le cursus ingénieur de l’ENAC (IENAC) et le Master IATSED (International Air Transport System Engineering and Design) mais possiblement le Master IHM (Interaction Humain-Machine) ou d’autres masters et mastères spécialisés de l’école. Les personnels de LSI participent à la fois à l'élaboration et au suivi de cursus.
Suivant vote profil, vous pourrez intervenir dans plusieurs des enseignements suivants : Ingénierie du Besoin et des Exigences, Vérification et Validation, Programmation des systèmes interactifs en Python, Model-Based System Engineering, Programmation Orientée Objet (POO) en Java, en C++ ou en Python, Conception Orientée Objet (COO), ou encore Programmation Réactive.
Votre activité d’enseignement sera composée des tâches suivantes :
- délivrer et contrôler de façon autonome des cours magistraux, séances de travaux dirigés et pratiques, ou e-learning
- encadrer les projets (projet d’initiation à la recherche, projet de fin d’étude, notamment pour l’informatique durable participant de la transition écologique du transport aérien, ou l’éco-conception …), les stages d’étudiants seuls ou en groupes, en langue française ou anglaise et participer à des jurys de projets et de mémoire
- participer à l’ingénierie pédagogique des enseignements de son domaine en tant que professeur référent, si possible en lien avec ses propres travaux de recherche.Activités de recherche au sein de II
L’équipe d'Informatique Interactive (II) de l'ENAC comprend une dizaine d’E/C permanents et est organisée en deux axes de recherche : ingénierie des systèmes interactifs (ISI), et interaction humain-machine (IHM). Vous serez positionné sur l'axe ISI (4 E/C, 5 doctorants).
Les membres de l’axe ISI conduisent des recherches visant à améliorer l’ingénierie des systèmes en abordant les processus de définition, de conception, de réalisation et de vérification & validation. Les systèmes considérés sont généralement des systèmes critiques avec une forte composante interactive ou réactive et, en particulier, des systèmes du transport aérien soit au niveau sol – comme les infrastructures de gestion du trafic des avions ou des constellations de satellites – , soit au niveau bord avec les systèmes critiques embarqués des aéronefs ou des satellites.
Les E/C de l’axe ISI partagent une culture commune basée sur la sémantique des langages et les méthodes formelles et l’utilisabilité, appliquées aux modèles, langages, toolkits et environnements de programmation. En termes de modélisation, ils s’intéressent ainsi aux paradigmes de spécification formelle fonctionnelle et non fonctionnelle, aux approches basées modèles (MBSE), à la définition et la compilation de langages interactifs utilisables, comme le langage Smala développé à l’ENAC, ou de langages réactifs comme Lustre ou Matlab Simulink, aux systèmes hybrides ou encore aux codes numériques utilisés dans les systèmes de contrôle. En termes de vérification, ils conçoivent et mettent en œuvre des méthodes d’analyses basé sur la preuve assistée (Coq, B), le model-checking, l’interprétation abstraite ou les méthodes basés sur le fuzzy-testing ou la simulation ensembliste.
Vous devrez donc vous inscrire dans ces thématiques de recherche, apportant à l’équipe une compétence en sémantique, en méthodes formelles et/ou en utilisabilité avec une finalité applicative sur les systèmes critiques aéronautiques ou spatiaux. Vos activités de recherche pourront revêtir un caractère interdisciplinaire, en lien en particulier avec l’axe IHM, et avec les autres axes de recherche de l’ENAC (optimisation, réseau, intelligence artificielle, automatique, etc). Vous participerez au montage de projets nationaux et internationaux ainsi qu’à l’encadrement de doctorants. Vous devrez démontrer votre capacité à mener de tels travaux et valoriser leurs résultats (publications, diffusion dans le milieu académique ou industriel).Titulaire d'un Doctorat ou d'une HDRVotre dossier de candidature devra comprendre les éléments suivants :
- CVs recherche, enseignement, animation scientifique, encadrement, tâches altruistes
- Description des activités de recherche (~2p)
- Projet de recherche et d’intégration au sein de l’axe et de l’équipe (~2p)
- Lettres de recommandation
- Rapports de thèse