Non-tenure-track/postdoctoral Bures-sur-Yvette, France Apply
Institut des Hautes Etudes Scientifiques
35 route de Chartres
91440 Bures-sur-Yvette

IHES is offering a 2 year postdoctoral position in Artificial Intelligence funded by IBM starting in  September 2021.

We are looking for a postdoctoral fellow with a background in mathematics/applied mathematics/theoretical physics/computer science/machine learning to work on a project on automated theorem proving and formalisation of mathematics/theoretical physics.

Preferred Requirements:

* Experience with dependent type theory formalisation systems (Coq, Lean)
* Experience with functional programming languages (OCaml, Haskell)
* Experience with deep learning frameworks (TensorFlow, PyTorch)

Application Instructions

(Add to Calendar)
This employer is not accepting applications through Please follow the instructions above and refer to in your application.
Contact Person
Ms. Ingrid Peeters
+ 33 1 60 92 66 64