Enseignant Vacataire — Méthodes Formelles & Vérification

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

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.