Specjalista w projekcie EPW (walidacja algorytmów)
Instytut Łączności – Państwowy Instytut Badawczy to niezależna instytucja badawczo-rozwojowa w dziedzinie telekomunikacji i technik informacyjnych. Realizujemy projekty R+D w obszarze zastosowań metod i technik ewaluacji bezpieczeństwa teleinformatycznego, w tym dotyczących rozwiązań kryptograficznych.
Szukamy kandydatów lub kandydatek (2 specjalistów) do realizacji prac w projekcie EPW:
Eksperymentalna platforma do automatycznej weryfikacji i walidacji algorytmów i protokołów kryptograficznych.
Zakres obowiązków
- praca przy procesach walidacji algorytmów i protokołów kryptograficznych realizowanych sprzętowo,
- współudział w testowaniu tworzonych i rozwijanych aplikacji,
- opracowywanie metod walidacji algorytmów kryptograficznych realizowanych sprzętowo,
- weryfikacja formalna prymitywów kryptograficznych w realizacjach sprzętowych.
Wymagania
- znajomość podstawowych standardów kryptograficznych,
- znajomość metod optymalizacji implementacji prymitywów kryptograficznych,
- wiedza o metodach weryfikacji formalnej implementacji sprzętowych,
- wiedza o algorytmach i mechanizmach kryptograficznych,
- podstawowa wiedza o cyberbezpieczeństwie w sieciach teleinformatycznych,
- umiejętność programowania w językach Rust, VHDL/Verilog,
- umiejętność tworzenia dokumentacji technicznej w języku polskim i angielskim,
- znajomość języka angielskiego na poziomie komunikatywnym,
- umiejętność pracy w zespole.
Będzie świetnie, jeśli dodatkowo
- potrafisz programować w językach: C++, Cryptol, Haskell,
- masz doświadczenie w pracach badawczych dotyczących algorytmów i protokołów kryptograficznych,
- myślisz o karierze naukowej.
Forma zatrudnienia: umowa o dzieło.
Osoby zainteresowane prosimy o zgłaszanie się na adres e-mail: e.andrukiewicz(at)il-pib.pl w celu umówienia się na rozmowę kwalifikacyjną.