Wanted

Smart Contract Auditor

3 000 - 6 000 USD
  • Москва
  • Полная занятость
  • Удаленная работа
  • От 3 до 6 лет
  • Solidity
  • C/C++
  • C#
  • Rust
  • Java
  • Python
  • Go
  • Vyper
  • Slither
  • Echidna
  • Foundry
  • Hardhat
  • DeFi
  • EVM

Мы команда аудиторов, специализирующихся на исследованиях и аудите безопасности децентрализованных Web3-проектов.

На протяжении более чем семи лет мы сотрудничаем с ведущими проектами в сфере DeFi: Lido, Aave, Curve, Instadapp, 1inch и многими другими.

И сейчас мы в поиске Аудитора Смарт-Контрактов в нашу команду :)

Что мы предлагаем:

  • Удаленный формат работы из любой точки мира;
  • Заработную плату выше рынка;
  • Ежегодный денежный бенефит;
  • Участие в международных проектах;
  • Прозрачную систему грейдов и перспективы карьерного роста;
  • Минимум бюрократии в компании;
  • Возможность работать с инновационными проектами на стыке программирования и финансов;
  • Оплату изучения английского.

Чем предстоит заниматься:

  • Аудит смарт-контрактов на предмет логических ошибок, уязвимостей, нарушения инвариантов, самосогласованности кода;
  • Аудит с применением автоматизированных средств;
  • Проведение внутренних исследований и research-проектов;
  • Написание PoC-тестов;
  • Выработка рекомендаций по устранению выявленных в ходе аудита проблем.

Мы ожидаем от кандидатов:

  • Опыт аудита смарт-контрактов на Solidity от 1 года или от 10,000 строк;
  • Опыт разработки от 2 лет на одном из языков (C/C++/C#, Rust, Java, Python, Go, Solidity, Vyper);
  • Опыт работы с Slither, Echidna, Foundry, Hardhat;
  • Знание Solidity, Vyper, DeFi, EVM;
  • Хорошая математическая база;
  • Знание английского языка на уровне составления документации и отчетности;
  • Понимание принципов работы с памятью, CPU, сетью, проблемы совместного доступа к данным и т.п.;
  • Знания в таких областях, как алгоритмы, безопасность, криптография, сетевые протоколы, устройство операционных систем, базы данных, высоконагруженные сервисы.

Плюсом будет:

  • Знание *nix, опыт работы в консоли;
  • Представление об алгоритмах консенсуса;
  • Проведение аудитов на контест платформах (Sherlock, Cantina, Code4rena);
  • Знание публичных чек-листов, опыт разбора хаков на постоянной основе.

Если увидели себя в вакансии, откликайтесь, и мы с Вами обязательно свяжемся!