Remote Lean Proof Engineer AI Reasoning
Cambridge, Cambridgeshire, CB21, England, UK
Listed on 2026-10-26
-
Engineering
Alignerr is seeking a Researcher to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs for AI training. You will work remotely on rigorous formalizations, stretching proof assistants and identifying gaps, with a focus on clarity and correctness.
You will collaborate with researchers, construct reproducible proof scripts, and contribute to formal verification strategies for complex models. This is a flexible hourly contract with 10–40 hours per week.
This posting is for the Remote Lean 4 Proof Engineer for AI Reasoning role at Alignerr Corp., based in Cambridge, England, United Kingdom.
Join us at Alignerr Corp. as our next Remote Lean 4 Proof Engineer for AI Reasoning in Cambridge, England, United Kingdom.
We are currently recruiting a Remote Lean 4 Proof Engineer for AI Reasoning for our team in Cambridge, England, 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).