Solidity Compiler Frontend Engineer

US / Remote💼 Full-time🗓 2025-10-20 → 2026-09-26

Core

Design and implement frontend components for the Solidity compiler, focusing on static analysis, type checking, and integration with formal verification systems.

Role type

Senior IC Solidity compiler frontend engineer

Builds

Solidity compilation pipelines and formal verification tooling

Domain

Blockchain security / Compiler infrastructure

Deliverable

production ML models | product features | infrastructure

Required skills

Solidity compiler development, Java, compiler theory (parsing, type systems, IR), formal methods/verification, EVM architecture

Preferred skills

LLVM, programming language semantics, open-source contributions, blockchain languages

Technologies

Java, SMT solvers, theorem provers, EVM

Responsibilities

Design and implement frontend components (lexical analysis, parsing, AST generation, semantic analysis); Optimize compiler performance and error reporting; Develop integration layers with formal verification tools; Contribute to Solidity language evolution; Collaborate on static analysis and security checks; Maintain compiler infrastructure

Seniority

Senior, hands-on IC

Sourced via lever · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.

About CertiK

CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.