Formal Methods Research Scientist

À propos de Formel AI

Chez Formel AI, nous combinons la créativité de l'IA générative avec la fiabilité des méthodes formelles mathématiques. En tirant parti des capacités de vérification de méthodes comme Lean 4, nous ouvrons la voie à une nouvelle génération de grands modèles de langage (LLM) fiables, transparents et rentables. Nous avons reçu le 2e prix de l'innovation de l'École normale supérieure en novembre 2025.

Formel AI a été fondé par Sylvain Combettes (CEO) et Antoine Mazarguil (CTO), qui se sont rencontrés lors de leur doctorat à l'ENS Paris-Saclay. Nous avons clôturé un tour de table providentiel sursouscrit en février 2026, soutenu par 30 business angels de premier plan, dont les fondateurs de Datadog, Dataiku, Nabla et Artefact. Notre conseil scientifique comprend des professeurs titulaires de l'École polytechnique, de l'ENS Paris-Saclay et de l'École des Ponts.

Nous intégrons actuellement nos premiers partenaires de conception et constituons l'équipe pour concrétiser notre vision. Rejoignez-nous !

À propos du poste

Nous recherchons des personnes exceptionnelles pour construire le pont innovant qui mènera à la prochaine percée dans le monde de l'IA : le lien entre l'IA et les méthodes formelles. Grâce à ce pont, nous développons de nouveaux LLM qui ne hallucinent pas, sont totalement transparents et consomment une fraction des coûts des LLM actuels.

En tant que scientifique possédant une solide expérience en méthodes formelles, votre rôle sera de structurer et d'exécuter la feuille de route de recherche et développement, en collaboration avec des experts de multiples domaines.

Responsabilités clés

• Piloter l'innovation en recherche : Façonner activement la feuille de route de recherche de l'entreprise, en explorant de nouvelles pistes en vérification formelle appliquée.
• Faire le pont entre théorie et pratique : Traduire la recherche de pointe en méthodes formelles en systèmes de qualité industrielle.
• Rester à la pointe : Suivre la recherche de pointe en vérification formelle et en IA pour identifier les techniques émergentes.
• Établir des partenariats stratégiques : Créer et exécuter des collaborations avec des laboratoires de recherche de premier plan.

Profil recherché

Qualités essentielles

• Chercheur visionnaire : Passion pour la littérature formelle et capacité à appliquer des concepts théoriques complexes à des scénarios réels.
• Scientifique méthodique : Discipline structurelle et état d'esprit technique pour architecturer et exécuter des projets de recherche complexes.
• Axé sur l'impact : Talent naturel pour convertir la recherche abstraite en implémentations fonctionnelles à fort impact.
• Collaborateur scientifique : Rigueur académique et efficacité opérationnelle pour favoriser les partenariats de laboratoire à long terme.

Background

• Doctorat en méthodes formelles, solveur SMT, vérification ou sujet connexe.
• Expertise avec au moins un prouveur de théorèmes.

Compétences requises

• Expérience avérée en développement de logiciels formellement vérifiés.
• Capacité d'adaptation et de collaboration.
• Communication technique : clarté dans la rédaction scientifique et les présentations.
• Connaissance théorique et pratique des solveurs SMT.

Compétences bonus

• Expérience en méthodes formelles appliquées.
• Maîtrise d'OCaml.
• Connaissance théorique et pratique des LLM.

Avantages

• Salaire compétitif et équité (BSPCE).
• Assurance santé (Alan) pour vous et votre famille.
• Tickets restaurant (Swile).
• Modèle de travail hybride (3-4 jours par semaine au bureau à Paris).

Processus de recrutement

1. Candidature via Google Form.
2. Appel de screening (45 min) avec le CTO.
3. Discussion technique approfondie (exercice à domicile suivi d'une discussion de 60 min).
4. Deep-dive technique (60 min).
5. Entretien final avec les fondateurs (45 min).