Remote Lean Engineer
Il y a 2 jours
France
mercor
Télétravail
Temps plein
111 000 € - 135 000 €/an
Gratuit avec email ou Google
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.
Gratuit avec email ou Google
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
Mercor seeks a Lean Engineer specializing in Formal Mathematics to advance formal proofs using Lean 4 and mathlib. The role focuses on translating competition problems and textbook results into rigorous formal statements and proofs, ensuring fidelity to original content.
You will review AI-generated Lean material, provide precise feedback, and contribute to establishing standards for proof quality and mathlib conventions while collaborating with researchers in a remote, flexible setup.