Работа: в Витебской области, 1 вакансия

Обязанности:

• Формальный анализ уязвимости в смарт-контракте с помощью Z3 SMT-солвера. Код и архитектуру предоставляем готовыми. Твоя роль — запускать cargo test, сообщать результат, точечно исправлять ошибки компиляции.

Требования:

• Rust 2021, cargo — уверенный уровень
• Знаком с Z3 или TLA+
• Part-time: 3-4 часа в день

Условия:

• Remote, контракт
• Первый milestone ~40 часов, фиксированная оплата
• NDA обязательно