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

О позиции

Компания Heliax работает в области разработки открытых протоколов и механизмов, создавая вертикально интегрированные открытые продукты и сети, такие как Anoma и Namada. Мы ищем исследователя криптографии и математики, который будет работать удалённо и готов к поездкам в Берлин для первоначального обучения.

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

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

Требования

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

Будет плюсом

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

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

• Помощь с переездом и визой для Германии (если применимо).