Security Engineer

Зараз ми розробляємо кілька криптографічних рішень.

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

Процес відбору

1. Знайомство з фаундером (30 хв)
2. Технічна співбесіда: криптографічна теорія + розбір архітектурної задачі
3. Практичне завдання: спроєктувати й реалізувати невеликий протокол із використанням Claude. Оцінюємо як результат, так і те, як кандидат перевіряє згенерований код
4. Офер

Відгукнутись на вакансію