More jobs:
Remote Lean Proof Engineer — Formalization Expert
Remote / Online - Candidates ideally in
Manchester, Greater Manchester, M9, England, UK
Listed on 2026-06-14
Manchester, Greater Manchester, M9, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-14
Job specializations:
-
Engineering
Mathematics
Job Description & How to Apply Below
Alignerr is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. This fully remote role invites mathematicians with formal verification expertise to translate rigorous proofs into machine-verifiable formats. You will work on advanced problems at the intersection of mathematics and AI, collaborating with leading research teams on frontier issues.
The ideal candidate holds a Master's degree in Mathematics or similar fields and has hands-on experience with Lean 4 or similar systems. Your contributions will help shape the future of mechanized mathematics.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×