Описание должности
Ключевые обязанности
- Проведение тщательной проверки существующих протоколов NMC для обеспечения их устойчивости к потенциальным уязвимостям и атакам.
- Рецензирование и доработка технических материалов, таких как технические документы, исследовательские отчеты и документация, для обеспечения точности и ясности.
- Разработка и документирование новых доказательств безопасности для существующих протоколов NMC с использованием передовых математических и криптографических методов.
- Оптимизация существующих протоколов для повышения их эффективности, снижения вычислительных затрат и улучшения масштабируемости для реальных приложений.
- Проектирование и реализация вариантов протоколов, учитывающих различные операционные требования, такие как синхронная/асинхронная связь, вычислительные/ITS (Intellectual Property Security) модели и сценарии с пассивными/активными противниками.
- Сотрудничество с межфункциональными командами для разработки новых протоколов с нуля, интегрируя передовые криптографические исследования и лучшие отраслевые практики.
- Подготовка и проведение внутренних презентаций для ознакомления коллег со сложными криптографическими концепциями, проектами протоколов и методами обеспечения безопасности.
- Участие в регулярных обсуждениях для изучения новых идей, предложения инновационных решений и вклада в стратегическое направление криптографических исследований.
- Отслеживание последних достижений в области криптографии и сетевой безопасности для обеспечения соответствия протоколов современным стандартам.
- Документирование всех процессов исследований, результатов и модификаций протоколов в четкой и структурированной форме для последующего использования и командной работы.
Требования к кандидату
- Докторская степень в области компьютерных наук, математики или смежной области с акцентом на криптографию и сетевую безопасность.
- Подтвержденный опыт в проектировании протоколов, доказательствах безопасности и методах формальной верификации.
- Глубокое знание криптографических алгоритмов, включая симметричное/асимметричное шифрование, хеш-функции и цифровые подписи.
- Отличные аналитические навыки для выявления и устранения рисков безопасности в реализации протоколов.
- Способность работать независимо и в команде в удаленной среде, с сильными коммуникативными навыками для внутренних презентаций.
- Опыт работы с инструментами, такими как фреймворки формальной верификации (например, Tamarin, ProVerif), криптографическими библиотеками (например, OpenSSL, libsodium) и языками программирования (например, Python, C++).
- Знание моделей противников, включая статических/мобильных противников, булевы/арифметические операции и сценарии атак, такие как атаки повторного воспроизведения, атаки "человек посередине" и атаки по сторонним каналам.
- Сильные письменные и устные коммуникативные навыки для четкого и лаконичного изложения сложных технических концепций.
- Способность проводить тщательный обзор литературы и синтезировать результаты из академических статей и отраслевых публикаций.
- Отличные навыки решения проблем для работы с сложными криптографическими задачами и разработки инновационных решений.
- Владение LaTeX для написания технической документации и исследовательских статей.
- Опыт работы с облачными платформами и распределенными системами для тестирования и развертывания протоколов.
- Понимание технологий блокчейна и их последствий для безопасности, если это применимо к должности.
- Способность работать с минимальным контролем, сохраняя высокие стандарты точности и безопасности.
- Сильные навыки тайм-менеджмента для соблюдения сроков выполнения проектов в условиях удаленной работы.
