Solidity Compiler Frontend Engineer

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