Remote Lean 4 Proof Engineer — Formalization for AI

Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into machine-checkable formalizations. The role emphasizes rigorous proof construction, leveraging Lean 4 and related proof systems.

Remote contract, 10–40 hours per week, with collaboration across researchers to advance AI-driven formal verification workflows. You will develop readable proof scripts, identify gaps in existing libraries, and help extend formalization capabilities for complex mathematical

#J-18808-Ljbffr…