More jobs:
Remote Lean Proof Engineer: Formalize Advanced Math
Remote / Online - Candidates ideally in
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-02-24
Oxford, Oxfordshire, OX1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-24
Job specializations:
-
Engineering
Mathematics
Job Description & How to Apply Below
A leading AI research collaborator is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. This role is perfect for mathematicians passionate about formal verification. Responsibilities include translating informal mathematical arguments into structured proofs in Lean, collaborating on formal verification processes, and pushing the boundaries of existing proof assistants. The ideal candidate holds a Master's degree in Mathematics and has a strong background in rigorous proof writing.
The position offers competitive hourly pay with flexible remote work options, making it an excellent opportunity for deep thinkers in the mathematical domain.
#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:
×