Alignerr is seeking Lean 4 Proof Engineers to translate informal mathematical arguments into machine-verifiable Lean formalizations. You will analyze proofs, identify gaps, and construct formalizations that push the boundaries of automated provers while collaborating with AI researchers on verification strategies.
The role emphasizes precision, readability, and compatibility with Lean idioms, with remote, hourly arrangements and 10–40 hours per week commitment.
J-18808-Ljbffr