Job Description
Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced mathematical arguments into machine-verifiable Lean code. This is an entirely remote, flexible hourly contract designed for mathematicians who enjoy rigorous proof construction and applying it to AI research. You will translate informal proofs, analyze across domains, and collaborate with AI researchers to advance verification pipelines. The role emphasizes high-quality, structured proofs and independent work on frontier problems. #J-18808-Ljbffr
