
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, Formal Verification focused on ensuring correctness of Monad L1 core components through formal methods and verification tooling. Collaborates with runtime developers to prove properties of the parallel EVM, state store, and consensus paths.Remote
Remote Conditions
Remote (US-based) or NYC; on-site in NYC.
Salary
200K
Benefits
Not Specified
Tech Tags
Senior Role
Date Listed
06 July, 2026 (28 days ago)
Loading...
Share this job
Category Labs has 3 other jobs listed
Hiring engineers?
Reach thousands of tech candidates from the Hacker News community.
Post a Job β $99












