Top Tech Jobs & Startup Jobs in NYC, NY

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.

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.