Solidity Compiler Frontend Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

CertiK · 1 day ago

Solidity Compiler Frontend Engineer

positionUnited States
timeFull-time
remoteRemote
seniorityMid Level
money$140K/yr - $220K/yr
date3+ years exp

CertiK is one of the fastest-growing and most trusted companies in blockchain security, working with a wide range of clients and securing significant digital assets. The role involves developing and optimizing frontend components of Solidity compilation pipelines, focusing on static analysis, type checking, and integration with formal verification systems.

BlockchainCyber SecuritySoftwareWeb3
check
H1B Sponsor Likelynote

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

Qualification

Solidity compiler developmentJava proficiencyCompiler theoryFormal verification toolsEthereum Virtual MachineLLVM experienceBlockchain programming languagesOpen-source contributionsProblem-solving skillsAttention to detail

Required

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

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

Benefits

Medical, vision, and 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
Holidays
Variable commission program for business development sales roles

Company

CertiK

twittertwittertwitter
company-logo
CertiK leverages formal verification technology to mathematically ensure security in systems software.
dateFounded in 2018
location
New York, New York, USA
people-size201-500 employees
web-link
https://www.certik.com/

H1B Sponsorship

CertiK has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2020 (6)

Funding

Current Stage
Growth Stage
Total Funding
$300.2M
Key Investors
Sequoia CapitalCoatueIDG Capital
2022-04-22Series B· $60M
2022-03-29Series B· $88M
2021-12-01Series B· $80M

Leadership Team

leader-logo
Ronghui Gu
Co-Founder
linkedin
leader-logo
Jason Nieh
Chief Scientist
linkedin

Recent News

Crowdfund Insider
CertiK, YZi Labs Partner to Support AI and Web3 focused Initiatives
2026-01-11
Crowdfund Insider
Blockchain Security Firm CertiK Examines Crypto and Privacy Tech Advancements Heading into 2026
2026-01-07
GlobeNewswire
CertiK and YZi Labs Form Strategic Partnership, Providing $1 Million Audit Grants for EASY Residency Participants
2026-01-06
Company data provided by crunchbase