More jobs:
Remote Lean Researcher — Formal Proof Architect
Remote / Online - Candidates ideally in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-02-28
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Research/Development
Data Scientist
Job Description & How to Apply Below
Location: City of Edinburgh
A pioneering AI research partnership is seeking a Researcher to formalize mathematical proofs in Lean for cutting-edge AI projects. This remote role offers competitive pay and the chance to work with advanced LLMs and a dynamic team. Ideal candidates will hold an advanced degree in a relevant field, possess strong proof writing skills, and have hands-on experience with proof assistants, particularly Lean.
Flexibility in hours and potential for contract extension are included.
#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:
×