More jobs:
Remote Lean Researcher — Formal Proof Architect
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-02-28
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Business
Data Scientist
Job Description & How to Apply Below
An innovative AI research organization is seeking a mathematician for a remote position focusing on formal proof systems. As a Researcher, you'll translate informal mathematical arguments into rigorous Lean proofs, collaborating with top AI teams. The ideal candidate has a master's degree in Mathematics, strong proof writing skills, and hands-on experience with formal verification tools.
This role offers competitive pay, flexible hours, and the chance to work on cutting-edge AI projects with global collaboration.
#J-18808-Ljbffr
Note 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:
×