More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-07-21
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-21
Job specializations:
-
Business
AI Business & Operations
Job Description & How to Apply Below
Alignerr seeks an Applied Formal Methods Researcher to translate complex proofs into machine-verifiable Lean formalizations, advancing AI's mathematical reasoning. This is a fully remote, hourly contract for mathematicians who relish rigorous proof construction.
You will convert informal arguments, identify gaps, and collaborate with AI researchers to strengthen verification pipelines, delivering readable, reproducible proof scripts and contributing to ongoing formalization projects.
#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:
×