
Category Labs is hiring a
Senior Software Engineer, Formal Verification
About Category Labs
Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. We strive to design and build step-function improvements over existing blockchain solutions. After recently raising $225M in series A funding, led by Paradigm, we are growing our team.
Job Description
Senior Software Engineer role focused on formal verification for Monad's software. Likely involves model checking, proofs, and formal methods applied to C++/Rust components in a blockchain environment. Requires strong background in formal verification and relevant tooling.Remote
Salary
200K
Benefits
Not Specified
Tech Tags
Senior Role
Date Listed
03 August, 2026 (1 day ago)
Loading...
Share this job
Category Labs has 7 other jobs listed
Hiring engineers?
Reach thousands of tech candidates from the Hacker News community.
Post a Job β $99









