Solidity Compiler Frontend Engineer
CertiK is a leading blockchain and Web3 security auditor that provides smart contract auditing and a comprehensive suite of security tools for the crypto industry. Founded in late 2017 by professors from Columbia University and Yale University, CertiK has grown into the largest Web3 security service provider with headquarters in New York. The company’s services help blockchain projects, exchanges, and enterprises strengthen their security, and CertiK is trusted by major industry players worldwide (e.g. Binance, OKX, Polygon, etc.) to audit and monitor their systems.
About CertiK
CertiK specializes in blockchain cybersecurity, leveraging formal verification techniques and AI technology to secure smart contracts and blockchain protocols across the Web3 ecosystem. The company offers end-to-end security solutions including smart contract and blockchain audits, on-chain monitoring (through its Skynet platform), penetration testing, compliance/AML tools, and advisory services, covering the entire project lifecycle from development to post-deployment. One of the fastest-growing firms in the crypto security sector, CertiK has served nearly 4,000 clients and helped secure over $360 billion worth of digital assets by detecting tens of thousands of vulnerabilities in code. Its clients range from DeFi protocols and layer-1 blockchains to exchanges and wallets – notable examples include projects like Aave, Polygon, Binance Smart Chain, Terra, and more. Backed by top investors such as Sequoia Capital, Tiger Global, Coatue, and Goldman Sachs, CertiK has established itself as a market leader in blockchain security. The company’s mission is to “secure the Web3 world,” applying cutting-edge academic research to real-world blockchain applications to improve safety and trust in the crypto ecosystem.
Skills
About the Role
You will design and implement the frontend components of the Solidity compilation pipeline, handling lexical analysis, parsing, AST generation, and semantic analysis. You will optimize compiler performance, improve error reporting and diagnostics, and build integration layers with formal verification tools. You will contribute to language feature evolution and implement static analysis and security checks in collaboration with security researchers. You will 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
- Experience with LLVM or similar compiler infrastructure
- Knowledge of programming language semantics and type theory
- Contributions to open-source compiler projects
- Experience with Solidity or other blockchain programming languages
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
Benefits
- Medical insurance
- Vision insurance
- Dental insurance
- 401(k) plan with company matching
- Life and accidental death and dismemberment insurance
- HSA (with high deductible plan)
- FSA
- Flexible paid time off and holidays
- Variable commission program for business development sales roles
- Flexible work environment