Verified Job
Field Sales
Researcher - Lean 4 & Formal Proof Systems
Field Sales
#4462
Remote / WFH
Job Description
Researcher — Lean 4 & Formal Proof Systems (AI Training)
About The Role
What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations — pushing the boundary of what proof assistants can express, capture, and automate.
This is a fully remote, flexible contract role built for researchers who love rigor, structural precision, and working at the frontier of mathematics and computer science.
• Organization: Alignerr
• Type: Hourly Contract
• Location: Remote
• Commitment: 10–40 hours/week
About The Role
What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations — pushing the boundary of what proof assistants can express, capture, and automate.
This is a fully remote, flexible contract role built for researchers who love rigor, structural precision, and working at the frontier of mathematics and computer science.
• Organization: Alignerr
• Type: Hourly Contract
• Location: Remote
• Commitment: 10–40 hours/week
