Research Engineer - Applied Cryptography/Protocols (Rust)

O roli

Szukamy Research Engineera do poufnego projektu R&D realizowanego na styku kryptografii stosowanej, projektowania protokołów oraz systemów rozproszonych.

Twój zakres zadań

• Projektowanie i implementacja: Tworzenie formatów wiadomości oraz schematów atestacji (deterministyczna serializacja, wersjonowanie).

• Logika protokołu: Implementacja elementów takich jak: wybór komitetów (committee selection), zarządzanie członkostwem (membership), mechanizmy retry/timeouts oraz liveness.

• Kryptografia: Bezpieczna integracja i weryfikacja podpisów progowych (np. FROST/BLS).

• Niezawodność: Przygotowanie środowiska testowego (test harness), scenariuszy awarii oraz precyzyjnych benchmarków (latencja ma kluczowe znaczenie).

• Bezpieczeństwo: Analiza krytycznych fragmentów kodu pod kątem modeli zagrożeń (threat model) i założeń bizantyjskich (byzantine assumptions).

Wymagania formalne i techniczne

• Wykształcenie: Min. magister (MSc) w obszarze matematyki/fizyki/informatyki/kryptografii lub pokrewnych kierunków ścisłych.

• Programowanie: Bardzo dobra znajomość języka Rust (lub eksperckie doświadczenie w C++/Go i gotowość do pełnego przejścia na Rust).

• Protokoły: Doświadczenie w budowie systemów opartych na stanach, obsłudze kolejek wiadomości i deterministycznych formatach danych.

• Kryptografia stosowana: Podstawowa wiedza o podpisach cyfrowych, funkcjach skrótu, zarządzaniu kluczami i modelach zagrożeń.

• Systemy rozproszone: Rozumienie zagadnień odporności na błędy (fault tolerance) i założeń Byzantine Fault Tolerance (BFT).

Mile widziane

• Doświadczenie w obszarach MPC (secure multi-party computation), threshold cryptography, DKG.

• Znajomość systemów dowodzenia wiedzą zerową (ZK-proofs: SNARK/STARK, Halo2, Nova).

• Znajomość bibliotek networkingowych (np. libp2p).

• Podstawy weryfikacji on-chain (Solidity) i świadomość ograniczeń kosztowych (gas optimization).

Warunki współpracy

• Tryb pracy: 100% zdalnie (strefy czasowe UE)/hybrydowo w Polsce (opcjonalnie).

• Forma zatrudnienia: B2B/Umowa o pracę (do ustalenia).

• Start projektu: planowany angaż projektowy od początku roku 2027

Jak aplikować?

W treści aplikacji prosimy o przesłanie:

1. CV

2. Linku do profilu LinkedIn/GitHub/portfolio (jeśli posiadasz).

3. Krótkiego komentarza (2-3 zdania): W którym z obszarów czujesz się najmocniej: protokoły/kryptografia/systemy rozproszone/ZK-proofs?

Proces rekrutacji

1. Krótka rozmowa (15-20 min) o Twoim doświadczeniu i wizji projektu (po podpisaniu NDA jeśli potrzebne)

2. Rozmowa merytoryczna (45-60 min) o architekturze, kryptografii i systemach rozproszonych.

3. Mini-zadanie (max 3h) lub wspólne omówienie Twojego publicznego repozytorium/kodu.