Enseignant(e) vacataire en Méthodes formelles

ESIEE PARIS; Noisy-le-Grand; Sur place; EUR 59 000 - 90 000; Temps partiel

Résumé du poste

ESIEE Paris recherche d’urgence un(e) enseignant(e) vacataire pour prendre en charge l’unité Méthodes formelles auprès des élèves de troisième année du cycle ingénieur, filière Systèmes embarqués (par apprentissage).

L’unité comprend 24 heures: 14 heures de cours et 10 heures de TP, avec organisation flexible selon les contraintes des intervenants, dans un cadre universitaire sur le campus de Marne-la-Vallée.

Qualifications

• Enseignement des méthodes formelles et de la vérification de logiciels et de systèmes critiques.
• Maîtrise des concepts fondamentaux de la Méthode B et de ses applications.
• Expérience d’enseignement universitaire souhaitée ou démontrable.

Responsabilités

• Assurer l’unité Méthodes formelles pour les étudiants de 3e année (cycle ingénieur).
• Préparer les supports pédagogiques et les travaux pratiques.
• Planifier le module entre fin septembre 2026 et fin février 2027 et coordonner avec l’emploi du temps.

Connaissances

Méthodes formelles

Méthode B

Vérification logicielle

Description du poste

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.