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...