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:
-
Research/Development
Data Scientist, Mathematics
Job Description & How to Apply Below
A research-focused technology company is looking for a Researcher skilled in Lean and formal proof systems to work remotely on cutting-edge AI projects. The ideal candidate will have a Master’s degree in Mathematics and a strong foundation in rigorous proof writing. Responsibilities include translating mathematical arguments into formal proofs and collaborating with researchers to improve verification pipelines. Competitive pay and flexible remote work model are offered.
#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:
×