Lean 4 Proof Engineer - Mathematical Formalization
Alignerr
📍 Brazil, Brazil, Brazil
Job Description
Overview
Location: Remote
At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models.
Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.
Organization
Alignerr
Position
Lean 4 Proof Engineer - Mathematical Formalization
Type
Hourly Contract
Compensation
$70–$150 /hour
Location
Remote
Commitment
10–40 hours/week
Role Overview
We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical arguments into precise, machine-verifiable formaliza...