Software Engineer – Formal Methods

🕒 Março 31

🏄 California, New York, +1 estados a mais – Remoto

🏄 California – Remote 🗽 New York – Remote ☕ Washington – Remote

💵 $115.000 - $230.000 / ano

⏰ Tempo Integral

🔴 Especialista

🧑‍💻 Engenheiro Full-stack

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 develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. • Extend the scope and depth of automated program verification tools and brainstorm, design, and implement new tools. • Adapt and improve algorithms for symbolic software model checking. • Build and extend translators from different input languages into intermediate representations. • Identify new classes of security properties of smart contracts and formalize properties for automated verification tools.

🎯 Requisitos

• Master's Degree in Computer Science or a related field or 5 years of equivalent experience. • Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development). • Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines. • Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.

🏖️ 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