Jobs at Category Labs

Design and implement core improvements to Monad's blockchain protocol, including consensus, gossip, and state sync. Build high-performance system components in Rust/C++; design experiments, optimize performance, and collaborate with a small research-driven engineering team.

Prove correctness of Monad production C++ code by writing machine-checked proofs using Rocq/Coq, Iris, and BRiCk. Model system designs, verify concurrent/parallel execution and novel runtime mechanisms, strengthen proof automation, and scale verification for a fast-moving blockchain codebase.

As a Smart Contract Engineer, you will implement smart contracts, collaborate with app developers, and contribute to blockchain solutions, requiring 4 years of software engineering and 3 years in Solidity.

The Senior Researcher will design performant algorithms and architectures related to storage or recovery and conduct research on new architectures, specifically in databases and operating systems.

Lead the design of mechanisms for decentralized networks, focusing on economic security and decentralization while collaborating with engineering teams.

As a Senior Software Engineer, Compiler, you will research and implement performance improvements for bytecode execution in a decentralized technology environment.