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 (posted 2020/10/28, listed until 2020/12/31)
Position Description:    

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 https://www.ihes.fr/en/applications/post-docs/ibm-postdoctoral-position-in-artificial-intelligence/.
Contact: Ingrid Peeters, + 33 1 60 92 66 64
Email: email
Postal Mail:
IHES
35, route de Chartres
F-91440 Bures-sur-Yvette
(France)
Web Page: https://www.ihes.fr/en/applications/post-docs/ibm-postdoctoral-position-in-artificial-intelligence/

© 2020 AcademicJobsOnline.Org. All Rights Reserved.