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

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.