Lead AI Researcher: LLMs for Formal Math (BELLE)

Inria Paris; Paris; On-site; EUR 85,000 - 110,000; Full time

Job summary

Inria Paris recherche une personne pour diriger l'axe IA du projet BELLE, superviser le post-doctorant et les stagiaires, et coordonner les activités en interface IA, méthodes formelles et mathématiques.

Le poste implique la conception du jeu de données BELLE-Prefs, l'évaluation de la qualité du code Lean et la diffusion des artefacts, avec collaboration internationale et interaction avec Mathlib et Rocq.

Qualifications

• Expérience confirmée en recherche en apprentissage automatique.
• Culture mathématique solide et familiarité avec les méthodes formelles.
• Expérience en supervision d'équipes et de projets de recherche.

Responsibilities

• Définir la feuille de route scientifique de l'axe IA du projet BELLE et encadrer le personnel.
• Concevoir et superviser la construction des jeux de données BELLE-Prefs et les protocoles d'annotation.
• Développer et calibrer les méthodes d'évaluation de la qualité du code formel et réaliser des analyses expérimentales.

Skills

Recherche en apprentissage automatique

Culture mathématique

Gestion de projet

Encadrement d'équipe

Communication scientifique

Education

Doctorat en IA ou mathématiques

Tools

Lean/Mathlib

Rocq

Job description

Inria Paris recherche une personne pour diriger l'axe IA du projet BELLE, superviser le post-doctorant et les stagiaires, et coordonner les activités en interface IA, méthodes formelles et mathématiques.

Le poste implique la conception du jeu de données BELLE-Prefs, l'évaluation de la qualité du code Lean et la diffusion des artefacts, avec collaboration internationale et interaction avec Mathlib et Rocq.