More jobs:
Remote Lean Researcher — Formal Proof Systems
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-03-10
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-03-10
Job specializations:
-
Research/Development
Data Scientist
Job Description & How to Apply Below
A cutting-edge AI research company is seeking a Researcher specializing in Lean 4 and formal proof systems. This remote role involves writing and formalizing mathematical proofs to advance AI research. Ideal candidates will have a master's degree in mathematics or a related field, strong proof-writing skills, and hands-on experience with Lean or similar systems. The position offers competitive pay and flexible working hours while collaborating with a team on pioneering AI projects.
#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:
×