Remote Lean Formal Methods Researcher — AI Proofs
Sheffield, Pecos County, Texas, 79781, USA
Listed on 2026-10-06
-
Research/Development
AI Business & Operations
Location: Sheffield
Alignerr is seeking an Applied Formal Methods Researcher to formalize challenging mathematical proofs in Lean 4, contributing directly to frontier AI research. This fully remote hourly role offers flexible hours (10–40/week) and a chance to shape mechanized mathematics at the edge of AI development.
You will translate informal proofs into machine-verifiable formalizations, analyze complex proofs, and push the boundaries of automated reasoning while collaborating with researchers on novel
This posting is for the Remote Lean 4 Formal Methods Researcher — AI Proofs role at Alignerr Corp., based in Sheffield, TX, United States.
The position is based in Sheffield, TX, United States.
This opportunity is part of our work in Bio & Pharmacology & Health.
The advertised compensation is 96..
We aim to respond to suitable candidates as soon as possible.
(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).