Remote Lean Formal Proof Researcher
Sheffield, Pecos County, Texas, 79781, USA
Listed on 2026-10-15
-
Business
AI Business & Operations
Location: Sheffield
Aligner r Corp. is seeking a researcher to translate informal mathematical proofs into Lean 4 formalizations for AI training. You will analyze proofs across algebra, analysis, topology, logic, and discrete math, identifying gaps and formalizable sub-structures.
The role emphasizes precision, readability, and reproducibility of Lean scripts. The position is fully remote, flexible, and hourly, with 10–40 hours per week.
This is a strong opening to take on the Remote Lean 4 Formal Proof Researcher role at Alignerr Corp.
Please review the full job details above before applying.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
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..
(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).