Web Developer
RTI International
BootstrapJavaJavaScriptjQueryTypeScript
Solidity Compiler Frontend Engineer
CertiK
full-time
Posted on:
Location Type: Remote
Location: Remote • 🇺🇸 United States
Visit company websiteSalary
💰 $140,000 - $220,000 per year
Job Level
Mid-LevelSenior
Tech Stack
C++Solidity
About the role
- 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 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.
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
Applicant Tracking System Keywords
Tip: use these terms in your resume and cover letter to boost ATS matches.
Hard skills
SolidityC++compiler developmentlexical analysisparsingAST generationsemantic analysiscompiler theoryformal methodsEthereum Virtual Machine
Soft skills
problem-solvingattention to detail
Similar jobs on JobTailor
Senior Front-End Developer – React, Azure, Entra ID
General Dynamics Information Technology
AzureJavaScriptReactSQLTypeScript
Staff Software Engineer, Frontend – React-Native
Marqeta
AndroidGraphQLiOSJavaJavaScriptKotlinObjective-CReactReact NativeReduxSwiftTypeScript
Web Developer – Help Center Redesign, Temp
AuditBoard