Catégorie – Appels à projet et à candidature

Appel Exceptionnel à candidatures POST-DOC

  • 20 juin 2022
None

Dans le cadre de son programme de mécénat, la FMJH reçoit le soutien de Microsoft Research pour favoriser les progrès sur un domaine émergent : les mathématiques formalisées. La FMJH est donc à même de financer un post-doc d’un an à compter du 1er Septembre 2022 (possiblement négociable) qui sera affecté au Laboratoire de Mathématiques d’Orsay avec pour contact scientifique Patrick Massot. Le salaire net annuel avant impôt sera d'environ 28 900 euros. Le sujet est décrit de façon précise ci-après.

Le lauréat est Kyle Miller.