Зараз ми розробляємо кілька криптографічних рішень.
Шукаємо інженера, який закриє повний цикл: від математичної моделі та архітектури протоколу до робочої реалізації. Ключову роль у цьому циклі відіграють AI-інструменти розробки, передусім Claude.
Що потрібно робити
Проєктувати криптографічні архітектури та протоколи під конкретні продуктові задачі: обрати примітиви, описати модель загроз і припущення безпеки, обґрунтувати рішення
Формалізувати рішення математично (security properties, обмеження, компроміси між продуктивністю та стійкістю)
Реалізовувати рішення на сучасних криптографічних бібліотеках і фреймворках, без «саморобної» криптографії там, де є перевірені імплементації
Будувати AI-first процес розробки: генерувати код, тести та документацію за допомогою Claude (Claude Code / API), а також критично перевіряти й верифікувати згенероване
Обов’язкові вимоги
Фундаментальне розуміння криптографії: теорія чисел, скінченні поля, еліптичні криві, хеш-функції, симетрична й асиметрична криптографія, цифрові підписи, протоколи обміну ключами
Розуміння формальних моделей безпеки (IND-CPA/CCA, EUF-CMA, random oracle model тощо) та вміння аргументувати стійкість рішення
Практичний досвід реалізації криптографії в продакшені на Rust, C/C++, Go або Python
Досвід роботи з криптобібліотеками (наприклад, libsodium, OpenSSL/BoringSSL, RustCrypto, Bouncy Castle)
Активне використання LLM-інструментів у розробці (Claude, Cursor, Copilot тощо) і розуміння їхніх обмежень саме в security-критичному коді
Здатність працювати автономно: самостійно ставити задачі, обирати підхід і доводити його до результату
Англійська — не нижче Upper-Intermediate (документація, комунікація з партнерами в США та ЄС)
Що пропонуємо
Роботу над кількома новими продуктами з нуля, з реальним впливом на архітектуру
Прямий контакт із фаундером, без бюрократії
Сучасний AI-first стек
Процес відбору
Знайомство з фаундером (30 хв)
Технічна співбесіда: криптографічна теорія + розбір архітектурної задачі
Практичне завдання: спроєктувати й реалізувати невеликий протокол із використанням Claude. Оцінюємо як результат, так і те, як кандидат перевіряє згенерований код
Офер
Відгукнутись на вакансію
