Инженер по безопасности протокола

Matter Labs (zkSync) нанимает старшего инженера по безопасности протокола на удаленную должность. Обязанности включают моделирование угроз, проверку безопасности и реагирование на инциденты.

Намеренно ломайте вещи. Моделируйте угрозы и проверяйте контракты Solidity, функции перехода состояния блокчейна на Rust и другие критически важные системы до того, как атакующий получит шанс. Владейте компонентами протокола. Берите на себя ответственность за безопасную архитектуру и реализацию компонентов, которые вы принимаете, от проверки дизайна до производства. Следите за противником. Отслеживайте взломы, эксплойты и новые векторы атак по всей отрасли и превращайте уроки в конкретные улучшения наших систем. Масштабируйте безопасность через других. Внедряйте практики безопасного проектирования в командах разработчиков и влияйте на архитектурные решения на ранних этапах, не имея формальных полномочий. Используйте ИИ для защиты. Применяйте современные системы ИИ для масштабирования работы по безопасности, учитывая, что атакующие используют те же инструменты. Реагируйте, когда это важно. Участвуйте в расследованиях безопасности и реагировании на инциденты, часто в условиях нехватки времени и неполной информации.

Опыт в инженерии безопасности или исследованиях безопасности: моделирование угроз, проверка кода с акцентом на безопасность или исследование уязвимостей в производственных системах, с результатами, которые вы можете объяснить по механизмам. Владение языками со строгой типизацией, такими как C++, Go или Scala. Rust и Solidity — наши основные языки, и предварительный опыт с ними не требуется. Глубокое знание алгоритмов и структур данных, включая их вычислительную и памятьную сложность, с опытом реализации с нуля. Отладка на уровне протокола и анализ первопричин в сложных распределенных системах. Рабочее знание недавних инцидентов безопасности в сфере блокчейна и методов их предотвращения. Четкий письменный и устный английский — рабочий язык компании. Желательно: практический опыт с смарт-контрактами Solidity, ZK-схемами или основными протоколами блокчейна. Публичные исследования безопасности, аудиторские отчеты, результаты программ вознаграждения за найденные ошибки или история CTF также считаются доказательством.

Полная занятость. Удаленная работа (глобальная удаленная работа).