Le LIPN recrute un•e doctorant•e pour une thèse en partenariat avec l’Université d’Aarhus

Le LIPN recrute un•e doctorant•e dans le cadre du projet « SYNthesis in PArametric TImed games with Concurrency and data ». Il ou elle sera co-encadré•e par Laure Petrucci (LIPN, Université Paris 13, France) et Jaco van de Pol (Université d’Aarhus, Danemark).

Pour plus d’informations:

https://emploi.cnrs.fr/Offres/Doctorant/UMR7030-LAUPET0-001/Default.aspx?lang=EN

La date limite de dépôt des dossiers est fixée au 10 Juin 2022.
Cependant, les candidatures seront considérées au fil de l’eau tant que le contrat n’aura pas été attribué.