Post-doc at Lyon/Saint-Etienne

Stream: job postings

[Filippo A. E. Nuccio]

There are two 2-years post-doc positions at the University of Lyon/Saint-Etienne and Ecole Normale Supérieure de Lyon open to all candidates in Math, Computer Science and their interactions. There are no teaching duties and working on formalising mathematics in Lean would be within the scope of the call:

https://milyon.universite-lyon.fr/postdoctoral-positions-2022-2024-130160.kjsp?RH=1571748911317