Remote Lean 4 Proof Engineer for Formal Math

Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical argumentation into machine-verifiable Lean code. This fully remote, hourly contract role focuses on precision, structure, and formal verification, collaborating with AI researchers to push the boundaries of mechanized mathematics.

You will work on Lean 4 formalizations, test proofs, and refine strategies for scalable formalization projects, including collaboration with AI teams and researchers.

#J-18808-Ljbffr…