Мы используем технические cookie и статистику посещений: Яндекс Метрику и обезличенный журнал Zorky. Данные не продаём. Подробнее о cookie и статистике.
Zorky в тестовом режиме — всё бесплатно. На сайте только демо: компании, ссылки и личная подборка открываются после регистрации. Зарегистрироваться →
ZorkyZorky
EN|RU|PL|DE|ES|FR|PT
@termdocs

Вакансии

Актуальные IT-вакансии компаний со всего мира из открытых источников. Обновляется ежедневно. О компании →
Фильтр по стеку:mathematical-logic
Software Engineer (Engineer III to Principal) - Formal Methods
principal14,375 USD · период не указанNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US21нед назад
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 …
Показать компанию →
1 / 1
Не нашли подходящее? Загрузите резюме в нашу базу кандидатов — zorky.tech/apply — или напишите @termdocs.