Город: Витебск
Зарплата:
от 3000
до 5000
BYR
Занятость: Частичная, 5/2
Опыт работы: От 1 года до 3 лет
Обязанности:
- Формальный анализ уязвимости в смарт-контракте с помощью Z3 SMT-солвера. Код и архитектуру предоставляем готовыми. Твоя роль — запускать cargo test, сообщать результат, точечно исправлять ошибки компиляции.
Требования:
- Rust 2021, cargo — уверенный уровень
- Знаком с Z3 или TLA+
- Part-time: 3-4 часа в день
Условия:
- Remote, контракт
- Первый milestone ~40 часов, фиксированная оплата
- NDA обязательно
Адрес: Витебск
Похожие вакансии