Teams at CertiK

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

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

Conducts KYC investigations, performs behavioral interviews, assesses risks, issues KYC badges, and provides client support while documenting findings.