More jobs:
Remote Lean Formal Verification Scientist
Remote / Online - Candidates ideally in
Manchester, Greater Manchester, M9, England, UK
Listed on 2026-02-18
Manchester, Greater Manchester, M9, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-18
Job specializations:
-
Science
Research Scientist
Job Description & How to Apply Below
A leading AI research company is seeking a candidate for a remote role focused on writing advanced mathematical proofs in Lean. Candidates should possess a Master's degree or higher in Mathematics or a related field, with strong skills in rigorous proof writing. Responsibilities include translating informal proofs, collaborating on formal verification strategies, and delivering reproducible proof scripts. This is an excellent opportunity for mathematically mature problem-solvers who value precision and structure in a collaborative, innovative environment.
#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:
×