Remote Researcher: Lean 4 & Formal Proofs AI
-
Research/Development
AI Business & Operations, AI Evaluation
Job Description & How to Apply Below
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
The Remote Researcher:
Lean 4 & Formal Proofs for AI role at Alignerr Corp. is now open for applications in Charlotte, AR, United States.
This posting is for the Remote Researcher:
Lean 4 & Formal Proofs for AI role at Alignerr Corp., based in Charlotte, AR, United States.
We are looking to fill the Remote Researcher:
Lean 4 & Formal Proofs for AI position at Alignerr Corp. in Charlotte, AR, United States.
(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).