As part of its sponsorship program, the FMJH receives the support of Microsoft Research to foster progress in an emerging field: formalized mathematics. The FMJH is thus able to finance a one-year postdoc starting September 1st, 2022 (possibly negotiable) who will be assigned to the Laboratoire de Mathématiques d'Orsay with Patrick Massot as scientific contact. The annual net salary before tax will be approximately EUR 28 900. The subject is described in detail on our website below.
Application deadline: June 20th, 2022 at 11:59pm (Paris time). |