Rust разработчик (анализ уязвимостей смарт-контрактов)
Ищем Rust-разработчика для формального анализа уязвимостей в смарт-контрактах с использованием Z3 SMT-солвера. Нужно запускать тесты и исправлять ошибки компиляции. Работа удаленная, частичная занятость (3-4 часа в день), контракт с фиксированной оплатой за первый milestone.
Зарплата ниже рынка
На 86% ниже медианы Rust по 21 вакансиям за 90 дней.
Что предстоит делать
- Формальный анализ уязвимости в смарт-контракте с помощью Z3 SMT-солвера. Код и архитектуру предоставляем готовыми. Твоя роль — запускать cargo test, сообщать результат, точечно исправлять ошибки компиляции.
Что ждём от вас
- Rust 2021, cargo — уверенный уровень
- Знаком с Z3 или TLA+
- Part-time: 3-4 часа в день
Что предлагаем
Стек и инструменты
Подходит ли вам эта вакансия?
Зарегистрируйтесь и загрузите резюме — посчитаем % совпадения с этой вакансией, подсветим сильные стороны и что стоит подтянуть
Похожие вакансии
6 вакансийRust-разработчик
Ищем опытного Rust-разработчика для создания высоконагруженных backend-сервисов и блокчейн-продуктов. Требуется от 3 лет коммерческого опыта на Rust, знание системного программирования и асинхронности. Предлагаем удалённую работу, гибкий график и возможность получить долю в проектах.
Rust-разработчик (кастодиальные решения для криптовалют)
Финтех-компания ищет Rust-разработчика для создания безопасной платформы для хранения и управления криптовалютами. Требуется опыт коммерческой разработки на Rust от 2 лет, знание блокчейнов и асинхронного программирования. Предлагают конкурентоспособную зарплату, современный стек и профессиональное развитие.
Rust Developer
~2 184 000 ₸ оценка
Ищем опытного Rust-разработчика для работы над блокчейн-проектами в продуктово-аутсорсинговой компании. Требуется опыт от 2 лет, знание SOLID, TDD, Linux, Docker, Git, tokio, actix, sqlx, SQL и NoSQL. Предлагаем гибкий график, интересные проекты, компенсацию спорта и медицины, курсы английского.
Blockchain Developer (Rust)
Разработка и поддержка высокопроизводительных блокчейн-приложений на Rust. Требуется опыт работы с Rust и смарт-контрактами, а также понимание архитектуры блокчейн-платформ. Предлагается участие в архитектурных решениях и технических оценках.
Blockchain Developer (Rust)
Ищем разработчика на Rust для создания и поддержки блокчейн-приложений и смарт-контрактов. Требуется опыт работы с блокчейн-платформами и обеспечением безопасности кода. Предлагается участие в архитектуре проектов и оптимизация производительности.
Blockchain Developer (Rust)
Ищем разработчика на Rust для создания и поддержки блокчейн-приложений. Нужно будет писать и оптимизировать смарт-контракты, интегрироваться с блокчейн-платформами и обеспечивать безопасность кода. Также предстоит участвовать в архитектурных обсуждениях и планировании задач.