Search...

Solidity Compiler Frontend Engineer

CertiK logo
CertiK

CertiK secures Web3 projects by providing blockchain security audits, formal verification, and AI-powered monitoring services.

1001 Avenue of the Americas, Suite1801, New York, NY 10018, United States
About CertiK

CertiK helps blockchain developers secure Web3 projects by providing comprehensive security audits, formal verification, and AI-powered monitoring. Users can audit smart contracts, monitor on-chain activity, and ensure regulatory compliance. CertiK combines academic research with enterprise-grade security solutions.

View jobs by CertiK

Skills

Candidate Availability

Required and preferred rules are kept separate and reflect the wording in the original posting.

About the Role

You will design and implement the frontend components of the Solidity compilation pipeline, handling lexical analysis, parsing, AST generation, and semantic analysis. You will optimize compiler performance, improve error reporting and diagnostics, and build integration layers with formal verification tools. You will contribute to language feature evolution and implement static analysis and security checks in collaboration with security researchers. You will 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 C++ with deep understanding of modern C++ standards (C++17/20)
  • 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
  • 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

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

Benefits

  • Medical insurance
  • Vision insurance
  • 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
  • Variable commission program for business development sales roles
  • Flexible work environment
Solidity Compiler Frontend Engineer at CertiK | JobStash