Smart Contract Auditor

Website MixBytes
⚡️Наш подход к работе:
– Люди — главная ценность;
– Ориентируемся на результат;
– Любим продуманные и логичные решения.
⚡️Что мы предлагаем членам команды:
– Вознаграждение выше рынка;
– Удаленный формат работы;
– Международные проекты;
– Оплату изучения английского;
– Прозрачная система грейдов;
– Возможность участия в международных конференциях;
– Минимум бюрократии;
– Ежегодный бенефит;
– Возможность работать с инновационными проектами на стыке программирования и финансов.
⚡️Чем предстоит заниматься:
– Аудит смарт-контрактов на предмет логических ошибок, уязвимостей, нарушения инвариантов, самосогласованности кода;
– Аудит с применением автоматизированных средств;
– Проводить внутренние исследования и ресерч проекты;
– Написание PoC-тестов;
– Выработка рекомендаций по устранению выявленных в ходе аудита проблем.
⚡️Что мы ожидаем от коллеги:
– Неудержимое желание и навык ломать чужой код;
– Наличие hacker mindset + опыт и умение его применять;
– Опыт аудита смарт-контрактов на Solidity от года или от 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);
– Знание публичных чек-листов, опыт разбора хаков на постоянной основе.