- Страна
- Великобритания
Откликайтесь
на вакансии с ИИ
Research Cryptographer & Mathematician
Оценка ИИВысокотехнологичная роль в известной исследовательской организации с сильным фокусом на open-source. Предложение включает помощь с релокацией в Берлин, работу с передовым стеком (Rust, ZK) и возможность влиять на индустрию приватности.
Сложность вакансии
Оценка ИИРоль требует исключительных знаний в высшей математике и криптографии, включая zk-SNARKs и теорию сложности. Необходим опыт написания кода на Rust и способность переводить сложные теоретические концепции в технические спецификации.
Анализ зарплаты
Оценка ИИЗарплата не указана, но для позиций Research Cryptographer в Европе (особенно в Германии/Великобритании) рыночные ставки значительно выше средних по IT из-за дефицита специалистов такого уровня. Указанный диапазон отражает специфику блокчейн-исследований.
Сопроводительное письмо
Составьте идеальное письмо к вакансии с ИИ-агентом
Откликнитесь в Heliax уже сейчас
Присоединяйтесь к Heliax и создавайте будущее приватных блокчейн-протоколов на острие криптографической науки!
Описание вакансии
Research Cryptographer & Mathematician
Full-Time/Company: Heliax
Heliax is a remote-first research and engineering organisation building open-source protocols and vertically integrated products (e.g. Anoma, Namada) to provide privacy-preserving, scalable coordination systems. They research, develop, deploy and maintain cryptographic protocols and open systems as alternatives to existing paradigms.
Applicants must be based in Europe (including the UK) and willing to travel to Berlin for initial onboarding.
Responsibilities:
- Design new cryptographic protocols (e.g. shielded state sync) to meet information-flow, security and performance goals.
- Evaluate and analyse zkSNARK/zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity and performance.
- Update, reimplement, and combine existing cryptographic protocols for PoCs and production use-cases.
- Produce comprehensive technical specifications and collaborate with engineers on implementations.
- Implement, review, and test cryptographic operations and protocols, primarily in Rust.
- Contribute to open-source projects and research outputs.
Requirements:
- Strong mathematical and/or cryptographic background (complexity theory, abstract algebra, protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Demonstrable prior work (research papers, projects, or detailed designs) in protocol design.
- Comfortable implementing and testing crypto code, preferably in Rust.
Nice to have:
- Published papers in mathematics, theoretical CS, or cryptography.
- Experience with distributed systems or OS architecture/design.
- Experience with Zerocash/Zexe/VeriZexe and related architectures.
- Academic qualifications in cryptography or mathematics.
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, hash functions, DKG, threshold encryption
Benefits:
- Relocation and visa assistance to Germany (Berlin) for onboarding.
*📩* Откликнуться
Создайте идеальное резюме с помощью ИИ-агента
Навыки
- Rust
- zkSNARKs
- zkSTARKs
- Halo2
- ProtoStar
- Risc0 zkVM
- Arkworks
- Cryptography
- Mathematics
- Distributed Systems
- Threshold Encryption
Возможные вопросы на собеседовании
Проверка понимания современных систем доказательств с нулевым разглашением, используемых в компании.
Можете ли вы сравнить производительность и требования к доверенной установке (trusted setup) у Halo2 и ProtoStar?
Оценка навыков проектирования протоколов в контексте продуктов Heliax.
Как бы вы подошли к проектированию протокола синхронизации экранированного состояния (shielded state sync) для обеспечения приватности?
Проверка практических навыков реализации криптографии на Rust.
С какими основными трудностями вы сталкивались при реализации арифметики эллиптических кривых с использованием библиотеки Arkworks?
Оценка знаний в области распределенных систем и пороговой криптографии.
Каковы основные компромиссы при выборе схемы распределенной генерации ключей (DKG) для децентрализованной сети?
Проверка теоретической базы в области безопасности.
Как вы оцениваете безопасность zkVM (например, Risc0) по сравнению с нативными схемами доказательств для конкретных схем?
Похожие вакансии
ИБ-специалист (Senior)
Аналитик по информационной безопасности (не appsec)
AppSec Engineer (Middle+/Senior)
Инженер по информационной безопасности
Архитектор ИБ
Эксперт по управлению рисками персональных данных
1000+ офферов получено
Устали искать работу? Мы найдём её за вас
Quick Offer улучшит ваше резюме, подберёт лучшие вакансии и откликнется за вас. Результат — в 3 раза больше приглашений на собеседования и никакой рутины!