More jobs:
Remote Lean Proof Engineer: Formalize Advanced Math
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-02-24
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-24
Job specializations:
-
Engineering
Data Science Manager, AI Engineer
Job Description & How to Apply Below
A leading AI research collaboration is seeking a Lean 4 Proof Engineer to formalize advanced mathematical proofs for cutting-edge AI research. Ideal for mathematicians, this remote position involves translating informal proofs into structured formalizations and collaborating with researchers to enhance formal verification tools. Applicants should have a Master's degree in a related field and experience with Lean and rigorous proof writing.
Competitive pay and flexible work hours offered.
#J-18808-Ljbffr
Note 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:
×