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:59PM help 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 position through Mathjobs.Org right now. Please apply at https://www.ihes.fr/en/applications/post-docs/ibm-postdoctoral-position-in-artificial-intelligence/.

Contact: Peeters Ingrid, + 33 1 60 92 66 64

Email:

Postal Mail:

35 route de Chartres, F91440 Bures-sur-Yvette (France)

Web Page: https://www.ihes.fr/en/applications/post-docs/ibm-postdoctoral-position-in-artificial-intelligence/