More jobs:
Remote Researcher in Lean 4 & Formal Proofs
Remote / Online - Candidates ideally in
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-07-21
Oxford, Oxfordshire, OX1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-21
Job specializations:
-
Research/Development
AI Business & Operations
Job Description & How to Apply Below
Alignerr is seeking researchers to translate deep mathematical arguments into machine-verifiable Lean 4 proofs, pushing the boundaries of mechanized mathematics. This is a fully remote, flexible hourly contract for rigorous researchers who enjoy structure and frontier work.
You will translate informal proofs, analyze gaps, and develop readable proof scripts while collaborating with AI researchers to advance formal verification pipelines.
#J-18808-LjbffrNote 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:
×