Institut des Hautes Études Scientifiques

Position ID:IHES-POSTDOC_IA [#17374]
Position Title: IBM postdoctoral position in Artificial Intelligence
Position Type:Postdoctoral
Position Location:Bures-sur-Yvette, Ile-de-France F-91440, France [map]
Subject Area: Physics / Machine Learning
Appl Deadline:2020/12/03 11:59PMhelp popup finished (2020/10/28, finished 2021/01/04, listed until 2020/12/31)
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 position through AcademicJobsOnline.Org right now. Please apply at
Contact: Ingrid Peeters, + 33 1 60 92 66 64
Email: email
Postal Mail:
35, route de Chartres
F-91440 Bures-sur-Yvette
Web Page:

© 2021 AcademicJobsOnline.Org. All Rights Reserved.