What if your deepest mathematical expertise could directly shape how AI understands and reasons about rigorous proof? We're looking for Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean 4 formalizations — working at the exact boundary of what proof assistants can currently express and automate.
This is a fully remote, adaptable contract role for mathematicians who thrive on precision, structural elegance, and pushing the limits of what formal systems can do. If you find genuine satisfaction in taking a dense, beautiful argument and expressing it in a form a machine can verify — this role was built for you.
• Translate informal mathematical proofs into Lean 4 with an emphasis on clarity, correctness, and structural integrity
• Analyze domain-specific and general proofs to identify gaps, hidden assumptions, and formalizable sub-structures
• Construct formalizations that test the frontier of existing proof assistants — especially where automated tools struggle or fail
• Collaborate with AI researchers to design, refine, and evaluate formal verification strategies and pipelines
• Develop highly readable, reproducible proof scripts aligned with mathematical best practices and Lean idioms
• Provide expert guidance on proof decomposition, lemma selection, and structuring techniques for formal models
• Formalize classical proofs and compare machine-verifiable structures against textbook arguments
• Investigate and articulate precisely where automated provers break down — and why
• Create Lean proofs that reveal deeper patterns or generalizations implicit in the original mathematics
Who You Are
• Hold a Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
• Strong foundation in rigorous proof writing across areas such as algebra, analysis, t
📌 Formal Verification Scientist (Ciudad de México)
🏢 Alignerr
📍 Ciudad de México
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.