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.
#J-18808-Ljbffr
Mathematician: Lean 4 Formalizations for Frontier AI in Paris employeur : Alignerr Corp.
Alignerr est un employeur exceptionnel pour les ingénieurs logiciels passionnés par l'IA, offrant une flexibilité totale grâce à un travail entièrement à distance. Vous aurez l'opportunité de travailler sur des projets d'IA de pointe, tout en bénéficiant d'une autonomie freelance qui vous permet de définir vos propres horaires et de contribuer à des travaux à fort impact. Avec un environnement de travail stimulant et des possibilités de croissance continue, Alignerr est l'endroit idéal pour développer vos compétences techniques tout en influençant directement l'avenir de la programmation assistée par IA.
