Researcher - Lean 4 & Formal Proof Systems
Location
manchester, england
Job Type
Full-time
Category
IT & Technology
Posted
June 16, 2026
Researcher – Lean 4 & Formal Proof Systems (AI Training)
What if your deep mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical proofs into Lean 4 — helping push the boundaries of what machine-verifiable mathematics can express, capture, and automate.
This is a fully remote, flexible contract role. If you find satisfaction in taking a dense, elegant human argument and expressing it in a form a machine can verify, this role was built for you.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Translate informal mathematical proofs into Lean 4 (and related proof systems) with an emphasis on clarity, structure, and correctness
- Analyze generic and domain‑specific proofs — identifying gaps, hidden assum...