[Remote] Solidity Compiler Frontend Engineer at Certik

United States

Apply Now

Not SpecifiedCompensation

Mid-level (3 to 4 years), Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

BlockchainIndustries

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

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

Skills

Key technologies and capabilities for this role

SolidityC++C++17C++20Compiler FrontendLexical AnalysisParsingAST GenerationSemantic AnalysisStatic AnalysisFormal VerificationSMT Solvers

Questions & Answers

Common questions about this position

What is the compensation for this role?

If the role is performed in the US, the target annual compensation is $140,000 - $220,000, determined by the skills and experience of qualified candidates.

Is this a remote position or does it require office work?

CertiK offers a flexible work environment.

What skills are required for the Solidity Compiler Frontend Engineer role?

Required skills include 3+ years of professional experience in Solidity compiler development or related projects, strong proficiency in C++ with understanding of modern standards (C++17/20), solid foundation in compiler theory (parsing, type systems, IR), experience with formal methods or verification tools, and strong understanding of EVM and smart contract models.

What is the company culture like at CertiK?

CertiK has a flexible work environment and mission-driven culture, with opportunities to collaborate with industry-leading security researchers, technologists, and global institutions.

What makes a strong candidate for this position?

Strong candidates will have 3+ years in Solidity compiler development, deep C++ expertise, compiler theory knowledge, formal verification experience, and EVM understanding; preferred qualifications include LLVM experience, type theory knowledge, open-source contributions, and Solidity experience.

Certik

Security audits and monitoring for blockchain

About Certik

Certik focuses on providing security solutions for blockchain technology and decentralized finance (DeFi) projects. The company offers services such as security audits, penetration testing, and ongoing monitoring to ensure the safety and reliability of smart contracts and blockchain applications. Their products, including Skynet and SkyTrace, allow clients to continuously monitor their systems for vulnerabilities and potential fraud. Certik stands out from competitors by specializing in the security aspect of blockchain, catering specifically to developers and platforms in the cryptocurrency space. The main goal of Certik is to enhance the security of blockchain projects and help clients mitigate risks associated with smart contract vulnerabilities.

New York City, New YorkHeadquarters

2018Year Founded

$292MTotal Funding

SERIES_BCompany Stage

Cybersecurity, Crypto & Web3Industries

51-200Employees

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

Risks

Involvement with Tornado Cash could lead to legal and regulatory challenges for CertiK.

Increasing sophistication of cybercriminals requires CertiK to continuously adapt its security measures.

Reputational risk if audited projects like Rexas Finance face breaches post-audit.

Differentiation

CertiK leverages AI for blockchain security, setting it apart from traditional methods.

The company achieved a milestone in formal verification of zkVM circuits, leading the industry.

CertiK's Skynet and SkyTrace tools offer continuous monitoring, enhancing security for DeFi projects.

Upsides

Rising crypto losses increase demand for CertiK's blockchain security services.

CertiK's formal verification of zkVM circuits positions it as a leader in blockchain security.

SkyInsights offers a cost-effective compliance solution, attracting clients from competitors.

Land your dream remote job 3x faster with AI

Try Jobo Free