Teams at CertiK

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

Join a security research team to develop analysis tools, review sandbox/VM and network modules, discover vulnerabilities and create PoC exploits for distributed systems, and publish findings. Research areas include malware analysis, vulnerability detection, network anomaly detection, mobile app analysis, reverse engineering, and fraud detection.

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