More jobs:
Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-02-19
Oxford, Oxfordshire, OX1, England, UK
Listing for:
Alignerr Corp.
Remote/Work from Home
position Listed on 2026-02-19
Job specializations:
-
Research/Development
Research Scientist
Job Description & How to Apply Below
A leading research organization is seeking an Applied Formal Methods Researcher with a Master's degree in Mathematics or a related field. This remote role focuses on translating informal proofs into precise, machine-readable formalizations using Lean and aims to advance the field of mechanized mathematics. The ideal candidate has strong proof writing skills, experience with formal proof languages, and a passion for formal verification.
Competitive pay and flexible working hours are offered.
#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:
×