Zulip Chat Archive

Stream: job postings

Topic: Post-doc at Lyon/Saint-Etienne


Filippo A. E. Nuccio (Nov 17 2021 at 10:30):

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


Last updated: Dec 20 2023 at 11:08 UTC