Job Description
Alignerr seeks a Lean 4 Proof Engineer to translate advanced mathematical arguments into machine‑verifiable formalizations for AI reasoning. This remote, hourly contract role focuses on rigorous proof construction and proof scripting in Lean, with collaboration across AI research teams. Ideal candidates hold a Master’s or higher in math or logic, strong proof-writing skills, and hands‑on Lean experience. The work emphasizes formal verification and extensibility in formal libraries such as #J-18808-Ljbffr
