Solidity Compiler Frontend Engineer - Build Safe Contracts

CertiK International; Northern (KY); Hybrid; USD 140,000 - 220,000; Full time

Benefits offered by this job

Health, vision and dental insurance

401(k) with company matching

Life and AD&D insurance

HSA (high deductible) and FSA

Flexible paid time off and holidays

Job summary

CertiK is seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will focus on frontend components of Solidity compilation pipelines, with emphasis on static analysis, type checking, and integration with formal verification systems.

You will design and optimize frontend modules, advance error reporting, and collaborate with security researchers to enhance static analysis and

Qualifications

• 3+ years of professional experience in Solidity compiler development or related compiler projects
• 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

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

Skills

Solidity compiler development

Java-based compiler development

Compiler theory

Formal methods / verification tools

EVM knowledge

Problem-solving

Tools

LLVM

SMT solvers

Job description

CertiK is seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will focus on frontend components of Solidity compilation pipelines, with emphasis on static analysis, type checking, and integration with formal verification systems.

You will design and optimize frontend modules, advance error reporting, and collaborate with security researchers to enhance static analysis and