Remote Researcher: Lean 4 & Formal Proofs
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-08-18
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-08-18
Job specializations:
-
Research/Development
Job Description & How to Apply Below
Alignerr seeks a mathematician and formal verification specialist to write and formalize advanced mathematical proofs in Lean 4 for AI research. This remote, hourly contract role focuses on translating rigorous human arguments into machine-verifiable formalizations at the edge of what proof assistants can express.
You will work with Lean 4 (and related systems) to design, refine, and evaluate strategies for improving formal verification pipelines, producing readable proof scripts and reusable
#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:
×