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).