More jobs:
Remote Lean Applied Formal Methods Researcher
Remote / Online - Candidates ideally in
Oxford, Oxfordshire, OX1, England, UK
Listed on 2026-07-27
Oxford, Oxfordshire, OX1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-27
Job specializations:
-
Design & Architecture
AI Business & Operations, Mathematics
Job Description & How to Apply Below
Alignerr is seeking Applied Formal Methods Researchers to translate rigorous human mathematics into Lean 4 proofs, advancing AI reasoning about formal proofs. This is a fully remote, flexible hourly contract role for mathematicians passionate about formal verification, proof assistants, and mechanized mathematics.
If you enjoy converting dense, elegant arguments into machine-interpretable form, this role was built for you. Join a team pushing the boundaries of automated reasoning in mathematics.
#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:
×