Solidity Compiler Frontend Engineer

US / RemoteFull-TimeMid-levelFrontend

You will be redirected to the company career page

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

Preferred Qualifications

  • 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

  • Opportunity to shape the national conversation on blockchain and security.
  • Collaborate with industry-leading security researchers, technologists, and global institutions.
  • Flexible work environment and mission-driven culture.

Job Summary

CompanyCertik
LocationUS / Remote
TypeFull-Time
LevelMid-level
DomainFrontend