More jobs:
Remote Lean Formal Verification Scientist
Remote / Online - Candidates ideally in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-06-26
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-26
Job specializations:
-
Engineering
Research Scientist
Job Description & How to Apply Below
Location: City of Edinburgh
Alignerr is seeking a Formal Verification Scientist to shape AI's understanding of formal proof through advanced mathematical arguments. You'll work remotely to translate mathematical proofs into Lean 4 formalizations, collaborate with AI researchers, and improve verification pipelines.
The ideal candidate holds a Master's degree in Mathematics or related fields, has expertise in rigorous proof writing, and is passionate about formal verification. The position offers flexible hours and the potential for ongoing 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:
×