About the Company One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 4,798 clients, secured over $597 billion worth of digital assets, and has monitored over 17,000 projects. Our clients include leading projects such as Aave, Polygon, Yearn, and Chiliz. Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors. About the Role We are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will participate in developing and optimizing the frontend components of Solidity compilation pipelines, with a focus on static analysis, type checking, and integration with formal verification systems.
CertiK is the largest blockchain security auditor, providing comprehensive security tools and services to protect the blockchain industry at scale. The company has worked with over 5,000 enterprise clients, secured over $557 billion in digital assets, and detected over 18,000 vulnerabilities in blockchain code. CertiK serves leading projects including OKX, Tether, Ripple, and Pancakeswap, offering security audits, vulnerability detection, and risk assessment services. The company is backed by top-tier venture capital firms and industry leaders including Tiger Global, Sequoia, Coatue Management, Coinbase Ventures, and Binance.
