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.
Prochain appel à candidatures : automne 2021
