Remote Researcher: Lean 4 & Formal Proof Systems
Irving, Dallas County, Texas, 75014, USA
Listed on 2026-11-01
-
Research/Development
Research Analyst, AI Business & Operations, AI Evaluation
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.
We are looking to fill the Remote Researcher:
Lean 4 & Formal Proof Systems position at Alignerr Corp. in Sheffield, TX, United States.
For the Remote Researcher:
Lean 4 & Formal Proof Systems position at Alignerr Corp., we are reviewing applications now.
Step into the Remote Researcher:
Lean 4 & Formal Proof Systems role at Alignerr Corp. in Sheffield, TX, United States and grow with us.
(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).