Solidity Compiler Frontend Engineer

CertiK
United States
Workplace: RemoteFull timeFunction: Software EngineeringExperience: 3+ yearsSkills: ["Problem-solving","Attention to detail"]

Join CertiK as a Solidity Compiler Frontend Engineer to design and optimize frontend components of Solidity compilation pipelines, focusing on static analysis, type checking, and integration with formal verification systems. You will collaborate with security researchers and contribute to compiler infrastructure, tooling, and evolving Solidity language features, in a remote US-based team. You’ll work on LLVM-based tooling, EVM concepts, and interact with formal methods.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
CertiK
CertiK
10 months ago

Solidity Compiler Frontend Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 6 hours agoStatus: Live

Job Summary

Join CertiK as a Solidity Compiler Frontend Engineer to design and optimize frontend components of Solidity compilation pipelines, focusing on static analysis, type checking, and integration with formal verification systems. You will collaborate with security researchers and contribute to compiler infrastructure, tooling, and evolving Solidity language features, in a remote US-based team. You’ll work on LLVM-based tooling, EVM concepts, and interact with formal methods.
Location: United States
Workplace: Remote
Employment Type: Full time
Job Function: Software Engineering

Key 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.

Pay and Benefits

Perks:MedicalVisionDental401kLife InsuranceHsaFsa

Key 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
Experience:3+ yearsBlockchain
Skills:Problem-solvingAttention to detail
Tech Stack:SolidityJavaLLVMSMTFormal verificationEVMParsingCompiler

Company Brief

CertiK
Provides blockchain and smart contract security services, including automated formal verification, security audits, and real-time monitoring to protect decentralized finance protocols, smart contracts, and blockchain ecosystems from vulnerabilities and exploits.
Industry: Cybersecurity
Company Size: Large (251 to 1,000 employees)
Growth: Scaleup
Headquarters: New York, United States
Founded: 2018
WebsiteLinkedIn