More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
England, UK
Listed on 2026-06-05
England, UK
Listing for:
Alignerr
Contract, Remote/Work from Home
position Listed on 2026-06-05
Job specializations:
-
Research/Development
Data Scientist, Research Analyst
Job Description & How to Apply Below
Alignerr is seeking Applied Formal Methods Researchers to translate human-written mathematical proofs into machine-verifiable formalizations using Lean
4. This fully remote role allows mathematicians to impact AI research directly.
The ideal candidate will hold a Master's degree and possess a strong background in proof writing and formal verification, with hands-on experience in Lean or similar systems. Enjoy the flexibility of working when and where suits you.
#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:
×