Top Tech Jobs & Startup Jobs

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.

Operate and maintain Monad's globally distributed validator, full node, and archive fleets; own infrastructure-as-code, observability, and release automation; build AI-driven agentic operations and guardrails; harden services, manage secrets, and codify runbooks and tooling to reduce toil and support safe, automated operation of production node and model workloads.

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.

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