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

О позиции

Компания Heliax — это удалённая компания, занимающаяся исследованием, разработкой, развертыванием и поддержкой открытых протоколов и механизмов. Их работа включает Anoma (распределённая операционная система) и Namada (протокол с доказательством доли, ориентированный на межцепочечную конфиденциальность).

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

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

Требования

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

Будет плюсом

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

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

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