Enseignant(e) vacataire en Méthodes formelles

Ecole de l'innovation technologique, ESIEE Paris est une école d'ingénieurs membre de l’Université Gustave Eiffel localisée sur le Campus Descartes à Marne la Vallée (près de 3000 étudiants à ESIEE PARIS pour 15000 étudiants sur le campus ). ESIEE Paris forme des ingénieurs généralistes en 5 ou 3 ans, capables de répondre aux enjeux des transitions numérique et environnementale. Elle propose 21 filières de spécialisation dans les domaines : Informatique, Sécurité, Intelligence Artificielle ; Industrie 4.0 : Génie industriel ; génie mécanique et maintenance ; Systèmes électroniques, communicants et embarqués ; Transition énergétique, génie civil et bâtiment ; Santé numérique et connectée ; Arts et sciences.

Au sein du département DISC – Ingénierie des systèmes cyberphysiques (Mathématiques, électronique, systèmes embarqués, communications, traitement du signal…) :

Nous sommes à la recherche urgente d'un(e) enseignant(e) vacataire pour prendre en charge l’unité Méthodes formelles pour des élèves de la troisième année du cycle ingénieur de la filière Systèmes embarqués (par apprentissage).

Volume, période d’enseignement :

Il s’agit d’une unité de 24h (14h de Cours et 10h de TP).

Le module est à programmer entre fin septembre 2026 et fin février 2027. Il n’y a pas de créneaux prédéterminés ou fixes : nous essayons de nous adapter aux contraintes des intervenants, dans la limite des éventuels conflits avec la planification des autres unités d’enseignement.

Objectifs de l'enseignement :

L’apprentissage des principes de la spécification formelle et de la vérification de logiciels et systèmes critiques dont les concepts fondamentaux de la Méthode B.

Programme à couvrir:

• Introduction aux méthodes formelles
• Les fondamentaux de la méthode B
• Le raffinement
• La preuve et les obligations de preuve
• Outils et applications
• Vous disposez déjà d'un emploi mais vous avez envie de compléter votre activité principale par des vacations d'enseignement à ESIEE Paris?
• Vous souhaitez partager vos compétences et vos expériences en Méthodes formelles ?

Rémunération :

Le taux de rémunération de l'heure TD est de 43,50 euros (brut), 65,22 € brut l’heure de cours.