Solidity Compiler Frontend Engineer
CertiK is a Web3 security platform providing blockchain and smart-contract audits, formal verification, compliance and risk intelligence, monitoring, and validator services.
Funding history
Projects
About CertiK
CertiK is a New York-based Web3 security company founded in December 2017 by professors from Yale and Columbia. Its current offerings include smart-contract and blockchain audits, formal verification, penetration testing, DLT security, KYC and regulatory compliance services, SkyInsights risk analytics, Skynet security intelligence, validator operations, AI Auditor, CertiK Hunt, and Skylens.
Skills
Candidate Availability
Required and preferred rules are kept separate and reflect the wording in the original posting.
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