More jobs:
Remote Lean Proof Engineer: Formalization Specialist
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-01-04
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-01-04
Job specializations:
-
Engineering
Engineering Design & Technologists
Job Description & How to Apply Below
A technology-focused organization is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into formal verifications using Lean. Ideal candidates should possess a master's degree in a relevant field and have a strong foundation in rigorous proof writing, alongside hands-on experience with Lean or similar proof systems. This remote role offers competitive pay and the chance to collaborate on cutting-edge AI projects.
#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:
×