Remote Lean Proof Engineer — Mathematical Formalization AI
Houston, Harris County, Texas, 77001, USA
Listed on 2026-10-20
-
Engineering
Mathematics
Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical arguments into machine-verifiable Lean formalizations for AI research. You’ll tackle proofs beyond current automation and contribute to the future of mechanized mathematics in a fully remote setting.
Ideal candidates hold a strong math background, proven proof-writing skills, and hands-on experience with Lean, Coq, or Isabelle/HOL.
The Remote Lean 4 Proof Engineer — Mathematical Formalization for AI role at Alignerr Corp. is now open for applications in Sheffield, TX, United States.
This role offers the option to work remotely.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Remote Lean 4 Proof Engineer — Mathematical Formalization for AI role in the description above.
(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).