More jobs:
Remote Lean Proof Engineer — Formalization
Remote / Online - Candidates ideally in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-03-04
Greater London, London, Greater London, W1B, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-03-04
Job specializations:
-
Engineering
AI Engineer
Job Description & How to Apply Below
Location: Greater London
A leading AI development company seeks a Lean 4 Proof Engineer to formalize advanced mathematical proofs for cutting-edge AI research. Ideal candidates will possess a Master's degree in Mathematics, a strong foundation in rigorous proof writing, and hands-on experience with proof systems like Lean. Responsibilities include translating informal proofs into formal structures, analyzing proofs for gaps, and collaborating on verification strategies.
This remote position offers competitive pay, flexible hours, and the opportunity to work on advanced 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:
×