Remote Lean Proof Engineer — Formalization
Remote / Online - Candidates ideally in
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-03-13
Oxford, Oxfordshire, OX1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-03-13
Job specializations:
-
Engineering
Job Description & How to Apply Below
A leading AI research firm is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into formalizations. The role requires a Master’s degree and expertise in proof writing, particularly with Lean. You will collaborate with researchers, refine verification pipelines, and push the boundaries of automated reasoning. Offering competitive pay and flexible remote work, this is a unique opportunity for a mathematically mature problem-solver passionate about mechanized mathematics.
#J-18808-Ljbffr
Note 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:
×