More jobs:
Remote Lean Researcher — Formal Proof Architect
Remote / Online - Candidates ideally in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-02-28
Greater London, London, Greater London, W1B, England, 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: Greater London
A leading AI research partner is looking for a Researcher to focus on formal mathematical proofs using Lean. This remote role requires a Master's degree in Mathematics or a related field, along with strong proof writing skills and experience with formal proof systems. Candidates will translate informal arguments into structured proofs and work with advanced AI models. Competitive pay and flexibility are offered, along with the opportunity to work on cutting-edge 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:
×