Design and evaluate economic mechanisms for the Monad blockchain to optimize security, decentralization, and performance. Collaborate with engineering teams to mitigate attack vectors and advise on the technical merits of partner protocols.
Category Labs
2 Remote Job Openings at Category Labs
Formally verify high-risk parts of the Monad implementation, specifically concurrent and parallel execution logic. Build Rocq models of system designs and prove the C++ implementation is equivalent to these models.
