Мы используем технические cookie и статистику посещений: Яндекс Метрику и собственный обезличенный журнал Zorky (cookie zk_aid). Не собираем содержимое форм, текст поиска и полный IP; данные не продаём. Отказаться можно кнопкой ниже, а также через Global Privacy Control или Do Not Track в браузере. Подробнее о cookie и статистике.
Zorky CRMZorky CRM
EN|RU
@termdocs

Вакансии

Актуальные IT-вакансии компаний со всего мира из открытых источников. Обновляется ежедневно. О компании →
Фильтр по стеку:abstract-algebra
Software Engineer (Engineer III to Principal) - Formal Methods
principal14,375 USD · период не указанNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US
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.