La personne recrutée sera amenée à effectuer sa recherche au sein du
LSV
puis du futur laboratoire Méthodes Formelles issu du regroupement
du LSV et de l'équipe
VALS du LRI. Les thèmes et les activités de ce
laboratoire
sont décrits dans ce document.
Le département d'informatique est en charge d'un L3 d'informatique, du master MPRI de l'Université Paris-Saclay (première et
deuxième année) en collaboration avec l'Université de Paris, l'Institut Polytechnique de Paris et
l'ENS et de l'option informatique de l'agrégation de mathématiques.