Remote Lean 4 Proof Engineer: Formalize Math for AI
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate about proof construction.
Your responsibilities will include translating proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Masters in a relevant field and possess a strong proof-writing foundation.
Join us working at the frontier of AI research with meaningful projects that push the limits of mechanized mathematics. #J-18808-Ljbffr