Hacker Careers logo
Company Logo for Category Labs

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

Similar Jobs

No tags
πŸ“ New York City, NY; San Francisco, CA
85% match
No tags
πŸ“ Paris, France
85% match
No tags
πŸ“ San Francisco, CA (SoMa)
85% match
No tags
πŸ“ New York City, NY / San Francisco, CA
84% match
No tags
πŸ“ Remote
84% match
No tags
πŸ“ Houston, TX
84% match
No tags
πŸ“ Remote (Europe)
84% match
No tags
πŸ“ Remote
84% match
No tags
πŸ“ San Francisco, CA
84% match

We use cookies

We use cookies to ensure you get the best experience on our website. For more information on how we use cookies, please see our cookie policy.

By clicking β€œAccept”, you agree to our use of cookies.
Learn more.