Solidity Compiler Frontend Engineer

As a Solidity Compiler Frontend Engineer at CertiK, you will develop and optimize the frontend components of Solidity compilation pipelines, working on cutting-edge blockchain compiler infrastructure and formal verification tools. You'll focus on static analysis, type checking, and integration with formal verification systems, collaborating with security researchers and contributing to the evolution of Solidity language features.

What you'll do

• 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

What you bring

• 3+ years of professional experience in Solidity compiler development or related compiler projects such as EVM-based languages or smart contract compilers
• Strong proficiency in Java with deep understanding of Java-based compiler development and optimization
• A solid foundation in compiler theory, including parsing techniques, type systems, and intermediate representations
• Experience with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks
• A strong understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models
• Excellent problem-solving skills and attention to detail

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

What we offer

• Target annual compensation of $140,000-$220,000 for US-based roles, determined by your skills and experience
• Medical, vision, and dental insurance
• 401(k) plan with company matching
• Life and accidental death and dismemberment insurance
• HSA with high deductible plan option and FSA
• Flexible paid time off and holidays
• Flexible work environment
• Opportunity to collaborate with industry-leading security researchers and technologists

About CertiK

CertiK is one of the fastest-growing and most trusted companies in blockchain security, having secured over $597 billion worth of digital assets and worked with over 4,798 clients including Aave, Polygon, Yearn, and Chiliz. The company is backed by investors including Sequoia, Tiger Global, Insight Partners, Coatue Management, and others.