More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-07-28
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-28
Job specializations:
-
Research/Development
AI Business & Operations
Job Description & How to Apply Below
Location: City of Edinburgh
Alignerr is seeking an Applied Formal Methods Researcher to formalize advanced mathematics in Lean
4. This fully remote, hourly contract role sits at the intersection of proof theory and computation, requiring a master's or higher in mathematics.
You will translate informal proofs into Lean scripts, analyze proofs for gaps, and contribute to verification pipelines with highly readable formalizations. Strong experience with Lean (Lean 3/4) or other proof assistants is essential, along with a deep
#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:
×