Vos missions

Au sein du département SINA (Sciences et Ingénierie de la navigation aérienne), le/la candidat(e) retenu(e) aura une fonction d’enseignant-chercheur dans le domaine de l’ingénierie des systèmes interactifs et d’inspecteur des études du master IATSED. Pour cela, il/elle assurera les missions suivantes:

 

1 – Enseignement au sein de la subdivision Logiciels, Systèmes et Interactions (LSI). Le/la titulaire du poste interviendra dans les enseignements d'Ingénierie des Systèmes Interactifs : ingénierie système (recueil des besoins, V&V, conception orienté-objet, ...), gestion de projet, programmation (POO, programmation par contrats…). Elle/il sera amené-e à :

- 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…)

- 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.

- Dans le cadre de ces fonctions d’enseignement, le/la candidat(e) retenu(e) assurera également une fonction d’inspection d’étude du Master IATSED (International Air Transport System Engineering and Design), pour suivre les deux promotions en scolarité dans le master.

 

2 – Activité de recherche au sein de l’axe Ingénierie des Systèmes Interactifs (II/ISI). En particulier, le/la candidat-e participera à l’atteinte et la démonstration d’un haut niveau de sûreté de fonctionnement des systèmes aéronautiques en conduisant les travaux suivants :

- Définir formellement la sémantique opérationnelle de smala afin d’une part d'asseoir la définition actuelle de ce langage, de pouvoir travailler à l’amélioration du langage, et d’autre part de pouvoir mener des activités de vérification formelle de propriétés interactives.

- Prouver le compilateur smala à l'aide de l'outil de preuve Coq, ce qui permettra de disposer d'une chaîne de compilation de langage interactif prouvée et facilitera la certifiabilité des applications écrites avec ce compilateur.

- Identifier et définir des solutions participant à la gestion de l’énergie nécessaire pour exécuter des programmes Smala

Profil recherché

- Titulaire d'un doctorat en informatique

- expert dans les domaines d’enseignement et de recherche prévus pour le poste,

 

Savoir-faire / Savoir être :

- intérêt pour l’enseignement et la pédagogie,

- capacité à travailler en équipe, en organisation matricielle,

- aptitude à l’encadrement d’étudiants.

- anglais, lu, parlé et écrit.

Compétences attendues

Enseignant-Chercheur en ingénierie des Systèmes Interactifs / Inspecteur des études H/F