Remote Researcher: Lean 4 & Formal Proofs AI
Greenville, Pitt County, North Carolina, 27833, USA
Listed on 2026-11-06
-
Research/Development
AI Business & Operations, AI Evaluation
Alignerr Corp. is seeking a Researcher to translate deep mathematical reasoning into Lean 4 formalizations for AI training. This remote contract role suits researchers who value precision and rigorous, machine-verifiable proofs.
You will work across algebra, topology, logic, and discrete math to push the boundaries of what automated systems can handle, with flexible hours between 10 and 40 per week. Lean 3/4, Coq, Isabelle/HOL, and Agda experience is highly valued as you contribute to frontier
This role, Remote Researcher:
Lean 4 & Formal Proofs for AI at Alignerr Corp., could be your next move.
This role, Remote Researcher:
Lean 4 & Formal Proofs for AI at Alignerr Corp., could be your next career step.
Are you ready to take on the Remote Researcher:
Lean 4 & Formal Proofs for AI 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).