Found Description
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
About The Role
What if your deep mathematical training could directly shape the future of AI reasoning? We’re looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can express.
This is a fully remote, flexible contract role working alongside leading AI research labs. You’ll tackle proofs that automated tools can’t yet handle, helping map the true frontier of formal verification.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: Flexible
What You’ll Do
- Translate informal mathematical proofs into Lean (and related proof systems) with a focus on clarity, structure, and machine‑verifiable correctness
- Analyze proofs across domains — identifying hidden assumptions, gaps, and f...
Ready to Apply?
Submit your application for Mathematical Formalization Specialist at Alignerr
Apply Now