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 (posted 2020/10/27, listed until 2020/12/03)
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 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/

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