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.

Soumettez votre CV et toute information supplémentaire requise après avoir lu cette description en cliquant sur le bouton de candidature.

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

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 à et/ou candidatez via cette annonce. xuezdbg

Rémunération :

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

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