Remote Lean Formalization Researcher
Durham, Durham County, North Carolina, 27701, USA
Listed on 2026-11-06
-
Research/Development
AI Evaluation, AI Business & Operations, Research Analyst
Alignerr Corp. is seeking mathematicians and formal verification specialists to translate rigorous human arguments into Lean 4 proofs, working remotely on the edge of automated reasoning.
The role emphasizes translating informal proofs into machine-verifiable Lean 4 formalizations while analyzing proof structures and collaborating with researchers to push the boundaries of mechanized mathematics.
Step into the Remote Lean 4 Formalization Researcher role at Alignerr Corp. in Charlotte, AR, United States and grow with us.
We invite applications for the Remote Lean 4 Formalization Researcher position located in Charlotte, AR, United States.
The following role is for a Remote Lean 4 Formalization Researcher with Alignerr Corp.
Our organisation is growing, and we are hiring a Remote Lean 4 Formalization Researcher in Charlotte, AR, United States.
This Part Time role is for the Remote Lean 4 Formalization Researcher role at Alignerr Corp.
(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).