Solidity Compiler Frontend Engineer

🕒 Outubro 20, 2025

🇺🇸 Estados Unidos – Remoto (EUA)

💵 $140.000 - $220.000 / ano

⏰ Tempo Integral

🟡 Pleno

🟠 Sênior

💻 Engenheiro Frontend

👻 Score fantasma 39%

O que significa: quão provável esta vaga está aberta sem contratação ativa.Como ler: 60% ou mais significa que achamos que é uma vaga fantasma. Pontuações mais baixas preocupam menos.Como pontuamos: tempo em aberto, republicações, vagas abertas vs tamanho do time, rapidez para fechar vagas, e se o salário está divulgado.Observação: é uma estimativa de dados públicos, não um julgamento da empresa. Vagas reais podem ter pontuação alta, então use como uma dica, não como um fato.

Candidatar-se

Encontrar Vagas Remotas Similares

Configurar Alerta de Email para Novas Vagas

📊 Verifique sua pontuação de currículo para esta vaga

Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

Enviar Currículo

CertiK

SiteLinkedInTodas as Vagas

201 - 500 funcionários

Fundada em 2018

🌐 Web 3

🔐 Segurança

₿ Cripto

💰 $60.000.000 Series B em 2022-04

Web 3 • Security • Crypto

A CertiK lidera os esforços para aprimorar a segurança no ecossistema Web3. Como o principal auditor de smart contracts do setor, a CertiK oferece um conjunto abrangente de ferramentas projetadas para proteger o espaço Web3 em escala. Seus serviços incluem auditorias de segurança de código, auditorias de smart contracts e auditorias de blockchain, com ênfase em confiança comprovável e avaliações de segurança completas. Com um histórico de atendimento a milhares de clientes e de escrutínio de inúmeros projetos, a CertiK é reconhecida por sua expertise em verificação formal, incluindo trabalho pioneiro com provas de conhecimento zero (zkProofs) e parcerias para fortalecer a integridade das blockchains. A empresa oferece serviços avançados como KYC, testes de intrusão (pentest) e gestão de riscos, mantendo conformidade com padrões de destaque como SOC 2 e ISO 27001. A CertiK já foi reconhecida por gigantes de tecnologia como Apple e Samsung por suas contribuições para a segurança de ecossistemas de tecnologia.

Descrição

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

🎯 Requisitos

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

🏖️ Benefícios

• 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