Вакансия: Smart Contract Auditor
Описание вакансии
Мы международная команда аудиторов, которая занимается исследованиями и аудитом безопасности децентрализованных 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 );
- Знание публичных чек-листов, опыт разбора хаков на постоянной основе.
Если увидели себя в вакансии, откликайтесь, и мы с Вами обязательно свяжемся!
