- Страна
- Великобритания
Research Cryptographer & Mathematician
Оценка ИИИнтересная позиция в передовом криптографическом проекте с сильным инженерным стеком и возможностью релокации в Германию. Однако узкая специализация и требование проживания в Европе ограничивают круг кандидатов.
Сформировано ИИ автоматически. Не является проверкой вакансии или работодателя.
Улучшите резюме под эту вакансию
Возьмём требования и создадим новую версию резюме с акцентом на нужный опыт
Сложность вакансии
Оценка ИИРоль требует глубоких академических знаний в математике и криптографии, а также практических навыков разработки на Rust. Высокая сложность обусловлена необходимостью работы с передовыми системами доказательств с нулевым разглашением (zkSNARKs/zkSTARKs).
Сформировано ИИ автоматически. Не является проверкой вакансии или работодателя.
Анализ зарплаты
Оценка ИИДля позиций Research Cryptographer в Европе (особенно в Германии/Великобритании) рыночные зарплаты обычно выше средних по IT-сектору из-за дефицита специалистов. Предлагаемые условия соответствуют уровню Senior/Lead исследователей в области Web3.
Сформировано ИИ автоматически. Не является проверкой вакансии или работодателя.
Сопроводительное письмо
Составьте сопроводительное письмо под эту вакансию с вашим резюме
Контакты для отклика
Откройте контакты, указанные в вакансии.
Описание вакансии
Research Cryptographer & Mathematician
Full-Time/Company: Heliax
Heliax is a remote-first company that researches, develops, deploys, and maintains open-source protocols and mechanisms and builds vertically integrated open-source products and networks such as Anoma and Namada.
Must be based in Europe (including the UK) and willing to travel to Berlin for initial onboarding.
Responsibilities:
- Design new cryptographic protocols to achieve specified information flow, security properties, and performance.
- Evaluate and analyze existing cryptographic protocols (e.g. zkSNARK/zkSTARK proof systems) for security, expressivity, and performance.
- Update, reimplement, and combine existing cryptographic protocols for proofs-of-concept and production use-cases.
- Produce comprehensive technical specifications for cryptographic designs and collaborate with engineers on implementations.
- Implement, review, and test cryptographic operations and protocols, primarily in Rust.
Requirements:
- Mathematical and/or cryptographic background (e.g. complexity theory, abstract algebra, cryptographic protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Experience implementing, reviewing, and testing cryptographic operations and protocols (primarily in Rust).
- Familiarity with zkSNARKs, zkSTARKs and related proof-system tooling.
Nice to have:
- Published papers in mathematics, theoretical computer science, and/or cryptography.
- Experience with distributed systems and/or operating systems architecture/design.
- Experience with Zerocash/Zexe/VeriZexe and related architectures.
- Academic qualifications in cryptography or mathematics.
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 (Risc0 zkVM), Arkworks, elliptic curves, hash functions
Benefits:
- Relocation assistance to Germany (including visa assistance).
- High degree of independence in working conditions and task prioritization.
*📩* Откликнуться
Создайте идеальное резюме с помощью ИИ-агента
Навыки
- Rust
- zkSNARKs
- zkSTARKs
- Halo2
- ProtoStar
- Risc0
- Arkworks
- Cryptography
- Mathematics
- Distributed Systems
Возможные вопросы на собеседовании
Проверка понимания фундаментальных принципов, на которых строятся современные ZK-протоколы.
Можете ли вы объяснить различия в компромиссах между использованием Halo2 и Risc0 для конкретных сценариев использования?
Оценка способности кандидата писать безопасный и эффективный код для криптографических примитивов.
С какими основными трудностями вы сталкивались при реализации арифметики эллиптических кривых на Rust?
Проверка навыков анализа безопасности протоколов.
Как бы вы подошли к анализу безопасности нового протокола распределенной криптографии на предмет устойчивости к атакам по сторонним каналам?
Оценка опыта работы с конкретными инструментами, упомянутыми в стеке.
Опишите ваш опыт работы с библиотекой Arkworks: какие компоненты вы использовали и для каких задач?
Проверка способности проектировать сложные системы с нуля.
Как спроектировать систему доказательств, которая обеспечивает баланс между выразительностью и производительностью для мобильных клиентов?
Сформировано ИИ автоматически. Не является проверкой вакансии или работодателя.
