О роли

Rather Labs ищет инженера по смарт-контрактам, который присоединится к нашей команде инженеров блокчейна и будет работать над безопасными децентрализованными приложениями и протоколами производственного уровня.

В этой роли вы будете проектировать, разрабатывать, тестировать и проверять смарт-контракты в различных блокчейн-экосистемах. Вы будете тесно сотрудничать с инженерами протоколов, аудиторами и продуктовыми командами для создания надежных систем смарт-контрактов, выявления потенциальных уязвимостей и обеспечения лучших практик в области безопасности, архитектуры и производительности.

Эта позиция идеально подходит для тех, кто имеет большой практический опыт разработки смарт-контрактов и глубокое понимание механики DeFi, рисков безопасности и блокчейн-инфраструктуры.

Обязанности

• Проектирование, разработка и поддержка смарт-контрактов для DeFi и блокчейн-приложений

• Анализ логики, архитектуры и дизайна протокола смарт-контрактов на предмет безопасности и корректности

• Выявление потенциальных уязвимостей, логических ошибок, векторов экономических атак и предположений о доверии

• Написание чистого, безопасного и хорошо протестированного кода смарт-контрактов

• Создание и поддержка автоматизированных тестов с использованием таких инструментов, как Foundry, Hardhat или Anchor

• Выполнение статического анализа, фаззинг-тестирования и символьного выполнения, где это применимо

• Работа с такими инструментами, как Slither, Mythril, Echidna, Halmos, Manticore, Aderyn, Certora и Tenderly

• Анализ векторов атак в DeFi, включая атаки с использованием флэш-займов, манипулирование оракулами, MEV, сэндвич-атаки, манипулирование ценами и риски управления

• Поддержка процессов аудита, исправления и верификации исправлений

• Сотрудничество с инженерными командами по вопросам развертывания, путей обновления и безопасности протоколов

• Документирование технических решений, деталей реализации и соображений безопасности

Требования

• Значительный опыт разработки смарт-контрактов на Solidity и EVM

• Опыт работы с Foundry и/или Hardhat

• Глубокое понимание блокчейн-архитектуры, DeFi-протоколов, стандартов токенов и безопасности смарт-контрактов

• Умение писать безопасный, эффективный и поддерживаемый код смарт-контрактов

• Опыт тестирования, отладки и проверки смарт-контрактов

• Понимание распространенных паттернов уязвимостей, таких как повторный вход (reentrancy), проблемы контроля доступа, проблемы точности целочисленных операций, риски оракулов и проблемы обновляемости

• Знакомство с библиотеками OpenZeppelin и практиками безопасной разработки

• Сильное аналитическое мышление и способность рассуждать о сложной логике протоколов

• Хорошие коммуникативные навыки и способность четко объяснять технические решения

Приветствуется

• Опыт работы с Rust, TypeScript или Anchor

• Опыт создания или аудита DeFi-протоколов производственного уровня

• Знакомство с инструментами безопасности, такими как Slither, Mythril, Echidna, Halmos, Manticore, Aderyn или Certora

• Опыт работы с Ethereum, Arbitrum, Base, Optimism, Solana, NEAR, MultiversX или другими блокчейн-экосистемами

• Знание формальной верификации, фаззинг-тестирования, символьного выполнения или тестирования на основе свойств

• Опыт работы с экономикой протоколов, AMM, протоколами кредитования, мостами, стейкинговыми системами или механизмами управления