Teams at CertiK

Design and implement frontend components for the Solidity compiler, optimize performance, develop integration layers, and collaborate with researchers to enhance security features.

Design and develop tools for verifying the correctness of smart contracts, extend verification algorithms, and collaborate with engineers on technical solutions.

Lead and perform application and network penetration tests, source code and cloud security reviews, and produce clear pentest reports. Research and develop pentesting tools/methods for blockchain and Web3, contribute to community content, and support client security engagements.