More jobs:
Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-02-28
Oxford, Oxfordshire, OX1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Research/Development
Mathematics, Data Scientist
Job Description & How to Apply Below
A remote research organization is seeking an Applied Formal Methods Researcher focused on translating mathematical arguments into formal proofs using Lean. The role requires a Master’s degree in Mathematics or related fields and deep experience with proof systems like Lean, Coq, or Isabelle/HOL. Responsibilities include analyzing and formalizing mathematical proofs and collaborating with research teams. The organization offers competitive pay and the potential for contract extension, making this an exciting opportunity for technically skilled mathematicians.
#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:
×