Usamos cookies técnicos e o registro de visitas anonimizado do Zorky. O Yandex Metrica (dados armazenados em servidores na Rússia) só funciona com o seu consentimento. Nunca vendemos dados. Mais sobre cookies e estatísticas.
O Zorky está em modo de teste — tudo é gratuito. As vagas e as páginas das empresas são abertas a todos; os links dos anúncios e sua seleção pessoal abrem após o cadastro. Cadastre-se →
← Todas as vagas
Software Engineer (Engineer III to Principal) - Formal Methods
Principal14.375 USD · período não informadoNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →há 23 sem.
Stack
Detalhes
- Práticas
- CI/CD
Mostrar empresa e link
Grátis, depois de entrar.
Candidatar-se
Envie seu currículo: empregadores e recrutadores de vários países que procuram o seu perfil poderão falar com você diretamente.
Enviar seu currículo →Descrição
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs. You will implement and improve algorithms such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will build translators from input languages to intermediate representations, optimize models for automated analysis, run automated tests, and work across the full software lifecycle from design through deployment and support.
You will collaborate with peers to set technical direction and iterate on tooling based on feedback and measured results.
Empresa e link para se candidatar: depois de entrar. Entrar
Os contatos do empregador (e-mail/telefone/telegram) ficam ocultos na prévia pública. Envie seu currículo para que os empregadores possam falar com você diretamente.
Pergunta urgente? Escreva para @termdocs