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 →

Vagas

Vagas de TI ao vivo de empresas do mundo todo, de fontes públicas. Atualizado diariamente. Sobre →
Filtro de stack:automated-testing
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.
automated-testingmodel-checkingabstract-algebraalgorithmmathematical-logicautomata-theory+6
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 …
Mostrar empresa →
1 / 1
Não encontrou o que procurava? Envie seu currículo para a nossa base de candidatos — zorky.tech/apply — ou escreva para @termdocs.