CertiK is one of the fastest-growing and most trusted companies in blockchain security. They are seeking an experienced Solidity Compiler Frontend Engineer to work on cutting-edge blockchain compiler infrastructure and formal verification tools, focusing on developing and optimizing frontend components of Solidity compilation pipelines.
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 Java with deep understanding of Java based compiler development and optimization
- 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