Lean Proof Engineer - Remote Mathematical Formalization
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-10-26
-
Engineering
Mathematics
Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced mathematics for AI training. You will translate informal proofs into Lean 4 code and collaborate with researchers to push the boundaries of machine-verifiable mathematics.
This fully remote, hourly contract offers 10–40 hours per week for mathematically mature individuals proficient in Lean and other proof assistants. You will test proof strategies and contribute to robust formalization pipelines.
We would love to welcome a new Lean 4 Proof Engineer
- Remote Mathematical Formalization to our group in Oxford, England, United Kingdom.
Are you ready to take on the Lean 4 Proof Engineer
- Remote Mathematical Formalization role at Alignerr Corp.?
For the Lean 4 Proof Engineer
- Remote Mathematical Formalization position at Alignerr Corp., we are reviewing applications now.
Step into the Lean 4 Proof Engineer
- Remote Mathematical Formalization role at Alignerr Corp. in Oxford, England, United Kingdom and grow with us.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).