Job Description
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical arguments into machine‑verifiable formalizations. This remote, hourly contract role focuses on rigorous proof construction and automating reasoning within Lean. You will collaborate with AI researchers to push proof automation forward, analyze proofs across domains, and develop reproducible scripts in Lean idioms. This is frontier AI research work. #J-18808-Ljbffr
