Job Description
Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced mathematical arguments in Lean 4, working remotely as an hourly contract. The role emphasizes precision, structure, and translating elegant human reasoning into machine-verifiable form. You will translate informal proofs into rigorous Lean formalizations, identify gaps, and collaborate with AI researchers to improve verification pipelines. Ongoing projects and flexible hours support deep mathematical work. #J-18808-Ljbffr
