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);
• Знание публичных чек-листов, опыт разбора хаков на постоянной основе.

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