Company: Alignerr Corp.
Location: Cambridge
Job Description:
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into machine-verifiable knowledge using Lean 4 and related systems. This fully remote, hourly contract role targets mathematicians who enjoy rigorous proof and mechanized mathematics.
You will contribute to proving and formalizing complex arguments, collaborating with researchers to enhance verification pipelines, and producing readable proof scripts in Lean idioms.
#J-18808-Ljbffr…
Posted: October 22nd, 2026