Remote Researcher: Lean 4 & Formal Proof Systems
Houston, Harris County, Texas, 77001, USA
Listed on 2026-11-01
-
Research/Development
Research Analyst
Alignerr is seeking a Researcher to translate informal mathematical proofs into machine-verifiable Lean 4 formalizations for AI training. You will analyze proofs across multiple domains and collaborate with AI researchers to build robust verification pipelines.
We value deep mathematical training, proficiency with Lean 3/4 or other proof assistants, and the ability to craft clean, reproducible proof scripts. This is a fully remote, hourly contract with flexible hours.
The following opening is for a Remote Researcher:
Lean 4 & Formal Proof Systems with Alignerr Corp.
This is a Part Time role.
The position is based in Sheffield, TX, United States.
This opportunity is part of our work in Bio & Pharmacology & Health.
The advertised compensation is 55.000 - 96.000.
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).