Remote Lean Proof Engineer Formalization
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-10-30
-
Engineering
Alignerr is seeking a Lean 4 Proof Engineer to translate dense mathematical arguments into machine-verified formalizations. You will work remotely on frontier AI verification projects, focusing on clarity, structure, and correctness of Lean proofs.
Ideal candidates hold a Master’s or higher in a mathematical field and have hands-on experience with Lean, Coq, Isabelle/HOL, or Agda. This is a flexible hourly contract offering substantial mathematical and verification responsibilities.
We are seeking a motivated Remote Lean 4 Proof Engineer for Formalization to join Alignerr Corp. in City of Edinburgh, Scotland, United Kingdom.
Join us at Alignerr Corp. as our next Remote Lean 4 Proof Engineer for Formalization in City of Edinburgh, Scotland, United Kingdom.
We are currently recruiting a Remote Lean 4 Proof Engineer for Formalization for our team in City of Edinburgh, Scotland, United Kingdom.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).