1 year ago
Remote, United StatesMid Level
Base Salary
$140k - $220k/yr
Responsibilities
- Design and implement Solidity compiler frontend components, 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 Solidity language features and specification evolution.
- Implement static analysis and security checks in collaboration with security researchers.
- Maintain and improve compiler infrastructure and tooling.
Requirements
- At least 3 years of professional experience in Solidity compiler development or related compiler projects.
- Strong proficiency in Java and deep understanding of Java-based compiler development and optimization.
- Strong foundation in compiler theory, including parsing techniques, type systems, and intermediate representations.
- Experience with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks.
- Strong understanding of the Ethereum Virtual Machine and smart contract execution models.
- Strong problem-solving skills and attention to detail.
- Preferred: experience with LLVM or similar compiler infrastructure, programming-language semantics and type theory, open-source compiler contributions, or Solidity and other blockchain programming languages.
Benefits
- Flexible work environment and mission-driven culture.
- Medical, vision, and dental insurance for full-time employees.
- 401(k) plan with company matching.
- Life and accidental death and dismemberment insurance.
- Health Savings Account with a high-deductible plan and Flexible Spending Account.
- Flexible paid time off and holidays.
- Opportunity to collaborate with industry-leading security researchers, technologists, and global institutions.
About CertiK
CertiK provides blockchain security products and services for Web3 teams, including smart-contract auditing, formal verification, and continuous on-chain monitoring (Skynet). It monetizes through audits, monitoring subscriptions, and related security engagements for protocols, exchanges, and infrastructure providers. Founded in 2018 and headquartered in New York, the privately held company is known for bringing academic formal methods to production smart contracts.