Зараз ми розробляємо кілька криптографічних рішень.
Шукаємо інженера, який закриє повний цикл: від математичної моделі та архітектури протоколу до робочої реалізації. Ключову роль у цьому циклі відіграють 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. Оцінюємо як результат, так і те, як кандидат перевіряє згенерований код * Офер
