Remote Lean Proof Architect
Tacoma, Pierce County, Washington, 98401, USA
Listed on 2026-10-02
-
IT/Tech
Alignerr Corp. seeks a Formal Verification Scientist to translate advanced proofs into machine-verifiable Lean formalizations.
This fully remote, hourly contract role is ideal for mathematicians who operate at the intersection of rigorous proof and cutting-edge computer science. You'll work on translating informal arguments into structured proofs, analyze gaps, and test proof assistants’ limits, collaborating with AI researchers to refine verification pipelines.
This Part Time position is for the Remote Lean 4 Proof Architect role at Alignerr Corp.
The Remote Lean 4 Proof Architect role at Alignerr Corp. is now open for applications in Seattle, WA, United States.
Join us at Alignerr Corp. as our next Remote Lean 4 Proof Architect in Seattle, WA, United States.
We are currently recruiting a Remote Lean 4 Proof Architect for our team in Seattle, WA, 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).