Remote Lean Formal Methods Researcher
Medford, Middlesex County, Massachusetts, 02153, USA
Listed on 2026-10-09
-
Research/Development
AI Business & Operations, Research Analyst
Alignerr is seeking Applied Formal Methods Researchers to translate rigorous human mathematics into Lean 4 proofs, pushing the boundaries of automated reasoning. This fully remote, hourly contract role offers flexible hours (10–40 hours/week) and a chance to work at the intersection of mathematics and AI research.
You will translate informal proofs into machine-verifiable formalizations, identify gaps, and collaborate on strategies for formal verification while producing readable proof scripts
Join us at Alignerr Corp. as our next Remote Lean 4 Formal Methods Researcher (Contract) in Boston, MA, United States.
Our organisation is growing, and we are hiring a Remote Lean 4 Formal Methods Researcher (Contract) in Boston, MA, United States.
This Part Time role is for the Remote Lean 4 Formal Methods Researcher (Contract) role at Alignerr Corp.
We are seeking a motivated Remote Lean 4 Formal Methods Researcher (Contract) to join Alignerr Corp. in Boston, MA, 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).