Remote Lean 4 Proof Engineer Mathematical Formalization

Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into Lean formalizations for AI training and to push the boundaries of formal verification. You will work on proofs that extend beyond current automated tools in a fully remote, hourly contract. The role welcomes mathematicians with strong proof-writing ability and hands-on experience in Lean (or other proof assistants). Collaboration with AI researchers and a focus on precision are essential. #J-18808-Ljbffr