# Solidity Compiler Frontend Engineer at Certik

- Company: Certik
- What the company does: CertiK, the largest Web3 security service provider, uses AI and formal verification to protect and monitor smart contracts and protocols, securing the Web3 ecosystem. Backed by Insight, Lightspeed and SoftBank VF.
- Company website: https://www.certik.com/
- Type: Startups
- Level: Mid level
- Location: US / Remote
- Work setup: Remote
- Pay: $140K to $220K base salary per year (USD)
- Posted: 2025-10-20
- Apply by: 2026-10-08
- Apply: https://jobs.lever.co/certik/93ff3247-b56b-40a1-a4a1-daa0456663bf
- Page: https://www.1752.vc/careers/jobs/certik-solidity-compiler-frontend-engineer/

## About the role

We are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will participate in developing and optimizing the frontend components of Solidity compilation pipelines, with a focus on static analysis, type checking, and integration with formal verification systems.

## What they're looking for

- 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

Tags: Engineering - Frontend