Postdoc IBM en Intelligence Artificielle - IHES

Postdoc IBM en Intelligence Artificielle

Postdoc IBM en Intelligence Artificielle ­
Durée: 2 ans

Description

Grâce à la générosité d’IBM, l’IHES a décidé de créer un séjour post-doctoral en Intelligence Artificielle. Le lauréat aura la possibilité de travailler avec Vasily Pestun pendant 2 ans.

Critères d’éligibilité

Nous recherchons un post-doctorant ayant une formation en mathématiques/mathématiques appliquées/physique théorique, informatique, machine learning pour travailler sur un projet de démonstration et de formalisation automatisée de théorèmes en mathématiques/physique théorique.
La sélection se fera en fonction de l’excellence des réalisations scientifiques antérieures et de la qualité du projet scientifique.

Exigences particulières :

* Expérience des systèmes de formalisation de la théorie des types dépendants (Coq, Lean)
* Expérience des langages de programmation fonctionnels (OCaml, Haskell)
* Expérience avec les cadres d’apprentissage profond (TensorFlow, PyTorch)

Détails du contrat :

Le poste offre un package compétitif comprenant :

– un salaire et une couverture santé complète
– le logement dans la résidence de l’IHES
– l’accès à la cafétéria pour le déjeuner du lundi au vendredi.
– une allocation pour participer à des activités scientifiques liées au projet.

Les candidatures doivent être envoyées en ligne et inclure : le formulaire de candidature dûment complété, un CV, une liste de publications, une description du projet de recherche et des projets futurs ainsi que 2 ou 3 lettres de recommandation.


Soumettre une candidature

Date limite de candidature : 3 décembre 2020

Contact

postdoc-application@ihes.fr­­