← Back to opportunities
About the Role
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...
Ready to Join Through a Referral?
Apply now and get connected directly with the hiring team
Apply for this Position