More jobs:
Remote Lean Formal Verification Scientist
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-06-03
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-03
Job specializations:
-
Software Development
AI Engineer, Data Scientist
Job Description & How to Apply Below
Alignerr is searching for a Formal Verification Scientist to work on cutting-edge problems in AI and mathematics. This fully remote role involves translating advanced mathematical proofs into machine-verifiable forms, collaborating with AI researchers.
Ideal candidates should have a Master’s degree or higher in a relevant field and experience with proof assistants like Lean. This position allows for flexible scheduling and the opportunity to contribute to impactful research in formal verification.
#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:
×