🔥
Не упустите лучшие вакансии!
Подключите наш Telegram-бот и получайте мгновенные уведомления о новых предложениях из 10+ источников. Будьте первым, кто откликнется!
Подключить ботаИнженер-разработчик
СМАК Дмитрия Чистякова
•
Витебск
•
Удаленно
•
Опубликовано: 29 Jun 2026
3 000 — 5 000 Br
Обязанности:
- Формальный анализ уязвимости в смарт-контракте с помощью Z3 SMT-солвера. Код и архитектуру предоставляем готовыми. Твоя роль — запускать cargo test, сообщать результат, точечно исправлять ошибки компиляции.
Требования:
- Rust 2021, cargo — уверенный уровень
- Знаком с Z3 или TLA+
- Part-time: 3-4 часа в день
Условия:
- Remote, контракт
- Первый milestone ~40 часов, фиксированная оплата
- NDA обязательно
🚀
Ваше резюме увидят первым!
Автоматическое поднятие на HeadHunter каждые 4 часа. Увеличьте свои шансы на успех в 10 раз!
Подключить автоподнятие