Deux postes d'enseignant-checheur à l'ENS Paris-Saclay

Un poste de MCF et un poste de PU à l'ENS Paris-Saclay sont ouverts dans le DER Informatique et au laboratoire LMF.

Poste de Maître.sse de conférences

Le profil de poste en recherche concerne les thématiques du LMF. Sans que cela soit exclusif, une priorité sera donnée à la thématique "Méthodes formelles et sécurité".

Le profil enseignement est l'ensemble des formations du DER Informatique de l'ENS Paris-Saclay.

Le profil complet est disponible ici.

Poste de Professeur.e

Le profil de poste en recherche concerne les thématiques du LMF. Toutefois, une attention particulière sera portée aux candidates et candidats permettant de renforcer les thématiques d'interface des méthodes formelles avec la sécurité ou l'intelligence artificielle. Le profil enseignement est l'algorithmique, les langages formels et les méthodes formelles de vérification.

Le profil complet est disponible ici.

Comment candidater

Les deux postes sont mis au concours sur la campagne synchronisée. La date limite de candidature sur le site Galaxie est le 31 mars 2022. La sélection des dossiers MCF pour l'audition sera faite le 15 avril et l'audition aura lieu le 13 mai. La sélection des dossiers PU pour l'audition sera faite le 21 avril et l'audition aura lieu le 15 mai.

Pour plus d'informations, veuillez prendre contact avec Mihaela Sighireanu, directrice du DER Informatique et Patricia Bouyer-Decitre, directrice du LMF.