Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)

Présentation du rôle

Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance). Et si votre connaissance approfondie des mathématiques formelles pouvait directement façonner la façon dont les systèmes d'IA les plus avancés raisonnent, prouvent et pensent ? Cette opportunité s'adresse aux mathématicien(ne)s passionné(e)s par la démonstration rigoureuse et les systèmes formels pour contribuer aux fondements mathématiques dont dépend l'IA de pointe.

Ce que vous ferez

• Construire des preuves formelles claires, lisibles et bien structurées traduisant un raisonnement mathématique informel en forme vérifiable par machine
• Auditer et vérifier les preuves formelles existantes pour leur exactitude, leur complétude et leur intégrité logique
• Traduire aisément des idées mathématiques informelles en preuves formelles structurées et vérifiables par machine
• La France possède une tradition mathématique de premier rang, et le client recherche des penseurs rigoureux capables de transposer cette tradition en preuves formelles vérifiables par machine

Exigences et conditions

• Lieu : à distance
• Engagement : 10–40 heures/semaine
• Être titulaire d'un master ou d'un doctorat en mathématiques ou dans un domaine étroitement connexe
• Avoir une expérience pratique avec des assistants de preuve formelle — Lean 4 fortement préféré
• Autonome et à l'aise pour travailler de façon indépendante dans un environnement distant et asynchrone
• Expérience préalable en vérification de preuves, démonstration de théorèmes ou projets de formalisation mathématique