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.
* Experience with dependent type theory formalisation systems (Coq, Lean)
* Experience with functional programming languages (OCaml, Haskell)
* Experience with deep learning frameworks (TensorFlow, PyTorch)