Institut des Hautes Etudes Scientifiques

Position ID: 1504-POSTDOC_IA [#16633]
Position Title: IBM postdoctoral position in Artificial Intelligence
Position Type: Postdoctoral
Position Location: Bures-sur-Yvette, Ile-de-France F-91440, France
Application Deadline: 2020/12/03 11:59PMhelp popup finished (2020/10/27, finished 2021/01/04, listed until 2020/12/03)
Position Description:    

*** this position has been closed. ***

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)

We are not accepting applications for this job through Mathjobs.Org right now. Please apply at
Contact: Peeters Ingrid, + 33 1 60 92 66 64
Postal Mail:
35 route de Chartres, F91440 Bures-sur-Yvette (France)
Web Page:

© 2021 MathJobs.Org, American Mathematical Society. All Rights Reserved.