Protocol Security Engineer@ Matter Labs

О позиции

В Matter Labs (zkSync) требуется Protocol Security Engineer для работы над безопасностью протокола. Формат работы: удалённо.

Чем вы будете заниматься

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

Требования

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