More jobs:
Remote Lean Verification Scientist — AI Proofs
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-08-11
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-08-11
Job specializations:
-
Business
AI Evaluation
Job Description & How to Apply Below
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean proofs for AI reasoning and verification. This fully remote contract role suits mathematicians passionate about rigorous proof and the frontier of formal verification.
You will work on translating informal results into Lean 4 formalizations, analyze proofs across algebra, analysis, topology, and logic, and collaborate with AI researchers to refine 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:
×