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: • CV • Linku do profilu LinkedIn/GitHub/portfolio (jeśli posiadasz). • Krótkiego komentarza (2-3 zdania): W którym z obszarów czujesz się najmocniej: protokoły/kryptografia/systemy rozproszone/ZK-proofs? Proces rekrutacji • Krótka rozmowa (15-20 min) o Twoim doświadczeniu i wizji projektu (po podpisaniu NDA jeśli potrzebne) • Rozmowa merytoryczna (45-60 min) o architekturze, kryptografii i systemach rozproszonych. • Mini-zadanie (max 3h) lub wspólne omówienie Twojego publicznego repozytorium/kodu.