More jobs:
Remote Lean 4 & Formal Proof Researcher
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-07-15
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-15
Job specializations:
-
Research/Development
AI Business & Operations
Job Description & How to Apply Below
Alignerr is seeking a Researcher to formalize advanced mathematics in Lean 4 for AI training and verification. The role blends mathematics and computer science, translating human arguments into machine-verifiable formalizations and advancing proof automation.
This is a fully remote, flexible contract for researchers who value precision and rigor. The work focuses on translating proofs, testing proof assistants, and collaborating with teams to improve verification pipelines.
#J-18808-LjbffrNote 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:
×