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

👤 Votre Profil :

• 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 ?

✉️ Pour Postuler :

Merci de consulter les conditions de recrutement des chargés d’enseignement vacataires à ESIEE Paris-Université Gustave Eiffel sur le guide du vacataire et envoyez votre candidature avec CV à damien.masson@esiee.fr et/ou candidatez via cette annonce.

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

Prêt·e à former les ingénieurs de demain ? À vos CV !