About the company
Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class AI technology to secure and monitor blockchain protocols and smart contracts. CertiKās mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness. CertiK is one of the fastest growing and most trusted companies in blockchain security and has become a true market leader. To date, we have collectively worked with over 1800 enterprise clients, helped secure over $310 billion worth of digital assets, and detected over 31,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. CertiK just raised over $140 million and backed by Coatue, Tiger Global, Sequoia, and Hillhouse Capital.
Job Summary
Responsibilities
šDesign and implement frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis. šOptimize compiler performance and improve error reporting and diagnostics. šDevelop integration layers between the Solidity compiler and formal verification tools. šContribute to the evolution of Solidity language features and specification. šCollaborate with security researchers to implement static analysis and security checks. šMaintain and improve existing compiler infrastructure and tooling.
Requirements
š3+ years of professional experience in Solidity compiler development or related compiler projects (e.g., EVM-based languages, smart contract compilers) šStrong proficiency in C++ with deep understanding of modern C++ standards (C++17/20) šSolid foundation in compiler theory, including parsing techniques, type systems, and intermediate representations šExperience with formal methods or formal verification tools (e.g., SMT solvers, theorem provers, or verification frameworks) šStrong understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models šExcellent problem-solving skills and attention to detail
If youāre passionate about blockchain and decentralized technologies, explore more opportunities in web3 and cryptocurrency careers.
