Исследователь криптографии и математик@ Heliax

О позиции

Компания Heliax — это удалённая компания, занимающаяся исследованием, разработкой и поддержкой открытых протоколов и механизмов для удовлетворения повседневных потребностей.

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

• Проектирование новых криптографических протоколов (например, защищённая синхронизация состояния) для достижения целей по информационному потоку, безопасности и производительности.
• Оценка и анализ существующих систем доказательства и криптографических протоколов (например, zkSNARKs, zkSTARKs).
• Обновление, повторная реализация и комбинирование криптографических протоколов для прототипов и производственных случаев использования.
• Создание технических спецификаций и сотрудничество с инженерами по реализации.
• Реализация, обзор и тестирование криптографических операций и протоколов, в основном на Rust.

Требования

• Сильная математическая и/или криптографическая база (теория сложности, абстрактная алгебра, проектирование криптографических протоколов).
• Экспертиза в конструктивном проектировании протоколов и анализе распределённых криптографических протоколов.
• Доказанный опыт проектирования протокола (научная работа, экспериментальный проект, прошлый опыт или подробная серия блогов).

Будет плюсом

• Опубликованные работы в области математики, теории вычислений и/или криптографии.
• Опыт работы с распределёнными системами и/или архитектурой операционных систем.
• Опыт работы с Zerocash/Zexe/VeriZexe и связанными архитектурами.
• Академические квалификации в области криптографии или математики.

Что мы предлагаем

• Помощь с переездом в Германию (например, помощь с визой).
• Высокая степень независимости в условиях работы и приоритизации задач.