More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-06-05
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-05
Job specializations:
-
IT/Tech
Data Scientist -
Research/Development
Data Scientist
Job Description & How to Apply Below
Location: City of Edinburgh
Alignerr is seeking an Applied Formal Methods Researcher to formalize advanced mathematics using Lean
4. This fully remote role suits mathematicians who enjoy translating informal proofs into machine verifiable formats. You'll collaborate with researchers, analyze both generic and domain-specific proofs, and explore improvements in formal verification pipelines.
Applicants should hold a Master's degree in a related field and possess experience with proof assistants. This position offers freelance flexibility and the chance to work on cutting-edge AI projects.
#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:
×