Исследователь криптографии и математик@ Heliax
О позиции
Компания Heliax — это удалённая компания, занимающаяся исследованием, разработкой и поддержкой открытых протоколов и механизмов для удовлетворения повседневных потребностей.
Чем вы будете заниматься
- Проектирование новых криптографических протоколов (например, защищённая синхронизация состояния) для достижения целей по информационному потоку, безопасности и производительности.
- Оценка и анализ существующих систем доказательства и криптографических протоколов (например, zkSNARKs, zkSTARKs).
- Обновление, повторная реализация и комбинирование криптографических протоколов для прототипов и производственных случаев использования.
- Создание технических спецификаций и сотрудничество с инженерами по реализации.
- Реализация, обзор и тестирование криптографических операций и протоколов, в основном на Rust.
Требования
- Сильная математическая и/или криптографическая база (теория сложности, абстрактная алгебра, проектирование криптографических протоколов).
- Экспертиза в конструктивном проектировании протоколов и анализе распределённых криптографических протоколов.
- Доказанный опыт проектирования протокола (научная работа, экспериментальный проект, прошлый опыт или подробная серия блогов).
Будет плюсом
- Опубликованные работы в области математики, теории вычислений и/или криптографии.
- Опыт работы с распределёнными системами и/или архитектурой операционных систем.
- Опыт работы с Zerocash/Zexe/VeriZexe и связанными архитектурами.
- Академические квалификации в области криптографии или математики.
Что мы предлагаем
- Помощь с переездом в Германию (например, помощь с визой).
- Высокая степень независимости в условиях работы и приоритизации задач.
Вакансия предлагает интересные задачи в области криптографии и математики с возможностью удалённой работы. Условия работы гибкие, но требуется высокая квалификация.
Кто здесь добьётся успеха
Глубокие знания в области криптографии, включая опыт работы с zkSNARKs и zkSTARKs, а также практическое применение Halo2 и ProtoStar для разработки защищённых протоколов.
Способность к самостоятельной работе в удалённой среде, демонстрируя высокую степень самодисциплины и организованности для достижения целей проекта без постоянного надзора.
Опыт анализа и оптимизации производительности криптографических систем, с акцентом на применение Risc0 zkVM для улучшения существующих решений.
Критическое мышление и способность к решению сложных математических задач, что позволит эффективно проектировать новые протоколы и оценивать их безопасность.
Ресурсы для обучения
Карьерный путь
Обзор рынка
Навыки и требования
Тренды отрасли
Новости Crypto & Web3
Загружаем новости отрасли...
Ищем релевантные статьи за последние 6 месяцев