Remote Researcher: Lean 4 & Formal Proofs

Alignerr seeks a mathematician and formal verification specialist to write and formalize advanced mathematical proofs in Lean 4 for AI research. This remote, hourly contract role focuses on translating rigorous human arguments into machine-verifiable formalizations at the edge of what proof assistants can express.

You will work with Lean 4 (and related systems) to design, refine, and evaluate strategies for improving formal verification pipelines, producing readable proof scripts and reusable

#J-18808-Ljbffr