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. Les dates limites de candidature et les dates des concours ne sont pas encore connues. La page web sera mise à jour avec les informations utiles au fur et à mesure.

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