Search jobs inside your AI agent. Connect over MCP — free, no account needed to search.
Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once…
Design and develop tools that verify smart-contract correctness and identify security issues. Implement symbolic model checking, SAT/SMT solving, abstract interpretation, data-flow analysis, and deductive verification,…
Connect over MCP — free, no account needed to search.