Solidity Compiler Frontend Engineer

Stack

Responsibilities

• ▹Design and implement Solidity compiler frontend components: lexical analysis, parsing, AST generation, 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 on 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 (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: parsing techniques, type systems, intermediate representations
• ▹Experience with formal methods or formal verification tools (SMT solvers, theorem provers, verification frameworks)
• ▹Strong understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models

Nice to have

• ▹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

Soft skills

What we offer

• ▹Medical, vision, and 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

About the company

CertiK is a leading blockchain security company that has worked with nearly 4,800 clients and secured over $597 billion in digital assets, with clients including Aave, Polygon, and Yearn.