Mathematician: Lean 4 Formalizations for Frontier AI
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
Alignerr is seeking mathematicians with a passion for rigorous proof to help build formal foundations for frontier AI. This fully remote, hourly-contract role focuses on Lean 4 and formal reasoning across diverse mathematical disciplines.
You will contribute to large-scale libraries like mathlib, formalize proofs, audit existing work, and collaborate asynchronously in a global, freelancer-friendly environment.
-
Mathématicien(ne) – Formalisation
Il y a 23 heures
Paris, Île-de-France Alignerr Télétravail Temps plein 83 000 € - 165 000 € ContratAbout The RoleWhat if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.About The RoleWhat if your deep knowledge of...
-
Lean Engineer
Il y a 2 semaines
Paris, Île-de-France Mercor Temps pleinHelp a leading AI lab teach its models to write real, machine-checked mathematics in Lean.Consultez l'aperçu du poste ci-dessous. Si vous êtes convaincu(e) d'avoir les bonnes compétences et l'expérience requise, postulez dès aujourd'hui.1. OverviewA leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI...
-
Mathematician: Lean 4 Formalizations for Frontier AI
Il y a 4 jours
Paris, Île-de-France Alignerr Corp. Temps pleinAlignerr is seeking mathematicians with a passion for rigorous proof to help build formal foundations for frontier AI.Veuillez postuler rapidement si vous correspondez bien à ce poste, en raison du grand nombre de candidatures attendues.This fully remote, hourly-contract role focuses on Lean 4 and formal reasoning across diverse mathematical disciplines....
-
Mathématicien(ne) – Formalisation
Il y a 4 jours
Paris, Île-de-France Alignerr Temps pleinAbout The RoleWhat if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.About The RoleWhat if your deep knowledge of...