Senior Verification Engineer in Katowice

W Blue Origin wyobrażamy sobie miliony ludzi żyjących i pracujących w przestrzeni kosmicznej dla dobra Ziemi. Pracujemy nad rozwojem wielokrotnego użytku, bezpiecznych i niskokosztowych pojazdów oraz systemów kosmicznych w kulturze bezpieczeństwa, współpracy i inkluzji. Dołącz do naszego zespołu rozwiązywania problemów, gdy dodajemy nowe rozdziały do historii lotów kosmicznych!

Jako starszy inżynier weryfikacji w zespole ASIC & Networking wspierasz pierwszy program krzemowy TeraWave, który obejmuje modem o wysokiej przepustowości oraz intensywny cyfrowy beamformer, którego pierwsza produkcja planowana jest na 2027 rok. Strategia weryfikacji, metodologia i infrastruktura są obecnie definiowane, a Ty pomagasz je określić. Praca obejmuje weryfikację IP, podsystemów i pełnych SoC, w tym podsystemów CPU, interfejsów krytycznych dla wydajności, bezpieczeństwa, wysokoprzepustowych peryferiów, ścieżek danych modemu i warstw PHY, obliczeń DSP i beamformingu oraz interfejsów mieszanych sygnałów.

Kluczowe obowiązki:

• Posiadanie planowania i realizacji weryfikacji dla złożonych bloków i podsystemów, od planu testów po zatwierdzenie.
• Przekładanie specyfikacji projektowych na strategie weryfikacji, mierzalne cele pokrycia i wczesne identyfikowanie scenariuszy wysokiego ryzyka.
• Wybór metod weryfikacji dla każdego problemu, w tym symulacji losowej, analizy formalnej i testowania ukierunkowanego.
• Rozwój środowisk weryfikacyjnych, modeli referencyjnych, tablic wyników, monitorów protokołów, komponentów pokrycia i asercji.
• Napędzanie zamknięcia pokrycia funkcjonalnego, zdrowia regresji i gotowości do zatwierdzenia w wynikach symulacji i formalnych.
• Budowanie infrastruktury weryfikacyjnej, systemów regresji i CI oraz strategii ponownego wykorzystania na poziomach IP, podsystemów i SoC.
• Zastosowanie i budowanie możliwości weryfikacji wspomaganej AI dla generacji bodźców, triage regresji i analityki pokrycia.
• Przegląd architektury testbench i metodologii debugowania oraz mentoring młodszych inżynierów w metodologii weryfikacji.

Podstawowe kwalifikacje:

• Dyplom licencjata w dziedzinie inżynierii elektrycznej, inżynierii komputerowej lub pokrewnej, lub równoważne doświadczenie.
• Minimum pięć lat doświadczenia zawodowego w funkcjonalnej weryfikacji ASIC lub SoC.
• Praktyczna wiedza w SystemVerilog, UVM lub rozwijaniu i utrzymywaniu testbenchów formalnych.
• Doświadczenie w weryfikacji złożonej logiki kontrolnej i ścieżek danych, w tym debugowania RTL i systemowego.

Preferowane kwalifikacje:

• Tło w komunikacji kosmicznej, komunikacji bezprzewodowej lub sprzęcie modemowym, bazowym lub DSP.
• Doświadczenie w weryfikacji LDPC, FEC, ramkowania lub logiki beamformingu przy użyciu modeli referencyjnych dokładnych bitów i analizy stałopunktowej.
• Doświadczenie w formalnej weryfikacji na produkcyjnym krzemie, w tym łączności, map rejestrów, arbitrażu, CDC lub właściwości bezpieczeństwa.
• Doświadczenie w weryfikacji interconnect lub NoC obejmujące wydajność, przepustowość, QoS i analizę zakleszczenia.
• Doświadczenie w weryfikacji cech tolerancji na błędy i niezawodności, takich jak ECC, schematy redundancji lub wstrzykiwanie błędów.
• Doświadczenie w rozwijaniu opartego na C lub przenośnego bodźca dla SoC, uruchamiania CPU i scenariuszy testowych napędzanych oprogramowaniem.
• Doświadczenie w zastosowaniu AI, ML lub narzędzi LLM do generacji bodźców, triage regresji lub analizy pokrycia.

Nie spełniasz wszystkich wymaganych kwalifikacji? Badania pokazują, że niektórzy ludzie są mniej skłonni aplikować na stanowiska, chyba że spełniają wszystkie wymagane kwalifikacje. W Blue Origin jesteśmy zaangażowani w budowanie autentycznego miejsca pracy, więc jeśli jesteś podekscytowany tą rolą, ale Twoje dotychczasowe doświadczenie nie pasuje idealnie do każdej wymaganej kwalifikacji w opisie stanowiska, zachęcamy Cię do aplikowania mimo to. Możesz być idealnym kandydatem na to lub inne stanowiska.