CertiK

CertiK is a Web3 security service provider that combines formal verification with audits and comprehensive security solutions to protect and monitor smart contracts and protocols. The company serves enterprise clients, Web3 projects, exchanges, custodians, and regulators by offering services such as code audits, penetration testing, compliance solutions, and risk management. Its platform is utilized to secure digital assets and assess market capitalization across the blockchain ecosystem.

In the artificial intelligence and machine learning domain, CertiK applies technology to security tasks, including the development of intelligent AI agents powered by large language models to enhance security audit tools. Teams work on designing, fine-tuning, and integrating LLM-driven agents that automatically analyze smart contracts, identify potential vulnerabilities, and improve threat detection and risk assessment within the security audit platform.

The open roles indicate that CertiK is building specialized teams focused on blockchain security within an AI track. The available positions include regular and intern roles, such as the Blockchain Security Expert - AI Track and Blockchain Security Expert Intern - AI Track. These roles offer remote work flexibility with location options including the United States and New York, encompassing both professional and intern seniority levels.