Principal Verification Engineer in Kraków

Data zamknięcia aplikacji: Aplikacje będą przyjmowane na bieżąco, aż do zamknięcia rekrutacji. 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! Blue Origin pioniersko rozwija przyszłość łączności opartej na przestrzeni kosmicznej z TeraWave, rewolucyjną siecią komunikacji satelitarnej zaprojektowaną do dostarczania symetrycznych prędkości danych do 6 Tbps wszędzie na Ziemi. Ta sieć będzie obsługiwać dziesiątki tysięcy użytkowników z sektora przedsiębiorstw, centrów danych i rządów, którzy wymagają niezawodnej łączności dla krytycznych operacji.

Jako Główny Inżynier Weryfikacji w zespole ASIC & Networking będziesz wspierać 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 pomożesz je określić. Praca obejmuje weryfikację IP, podsystemów i pełnych SoC, w tym podsystemów CPU, interfejsów o wysokiej wydajności, bezpieczeństwa, wysokoprzepustowych peryferiów, ścieżek danych modemu i warstw PHY, obliczeń DSP i beamformingu oraz interfejsów mieszanych sygnałów. Będziesz odpowiedzialny za część tego zakresu zgodnie z Twoim doświadczeniem. Zespół traktuje symulację losową, metody formalne i testowanie SoC napędzane procesorami jako równorzędne narzędzia pierwszej klasy i buduje platformę weryfikacyjną wspomaganą AI, która obejmuje generację bodźców i testbenchów wspomaganą LLM, automatyczne triage regresji i grupowanie awarii oraz analizę pokrycia opartą na danych. Ponieważ nic z tego nie jest dziedziczone, inżynierowie, którzy budują te możliwości, będą je posiadali - i rozwijać się wraz z programem w miarę jego skalowania.

Kluczowe obowiązki:

• Prowadzenie weryfikacji na poziomie chipów i złożonych podsystemów do momentu zatwierdzenia, współpraca z globalnymi zespołami inżynieryjnymi.
• Odpowiedzialność za strategię weryfikacji, plany testów i mierzalne cele pokrycia w przypisanych podsystemach i SoC.
• Identyfikacja luk w weryfikacji, proponowanie zmian metodologii i ich wdrażanie w całej organizacji weryfikacyjnej.
• Pełnienie roli eksperta w danej dziedzinie, ustalanie kierunku technicznego i rozwiązywanie eskalowanych problemów weryfikacyjnych.
• Architektura wielokrotnego użytku środowisk weryfikacyjnych, modeli referencyjnych i infrastruktury obejmującej poziomy IP, podsystemów i SoC.
• Monitorowanie zdrowia regresji, zamknięcia pokrycia i gotowości do zatwierdzenia w wynikach symulacji i formalnych.
• Przegląd architektury testbenchów i podejść do debugowania oraz mentoring inżynierów w zakresie metodologii weryfikacji.
• Współpraca z zespołami projektowymi, architektonicznymi i modelującymi w celu dostosowania weryfikacji do kamieni milowych programu.

Podstawowe kwalifikacje:

• Dyplom licencjata w dziedzinie inżynierii elektrycznej, inżynierii komputerowej lub pokrewnej, lub równoważne doświadczenie.
• Minimum dziesięcioletnie doświadczenie zawodowe w weryfikacji funkcjonalnej ASIC lub SoC.
• Praktyczna wiedza w zakresie rozwoju testbenchów SystemVerilog i UVM oraz weryfikacji opartej na metrykach.
• Doświadczenie jako techniczny lider weryfikacji w co najmniej jednym programie krzemowym, który przeszedł do produkcji.
• Gotowość do podróży do 10 procent do innych lokalizacji zespołu.

Preferowane kwalifikacje:

• Uznana głębokość w co najmniej jednej specjalności weryfikacyjnej stosowanej w programach produkcyjnych.
• Doświadczenie w weryfikacji formalnej na produkcyjnym krzemie, w tym łączności, map rejestrów, arbitrażu, CDC lub właściwości bezpieczeństwa.
• Doświadczenie w symulacji na poziomie bramkowym, w tym uruchomienia świadome czasu i po układzie oraz debugowanie.
• Tło w weryfikacji systemów komunikacji bezprzewodowej lub przewodowej, w tym sprzętu modemowego, bazowego, PHY lub DSP.
• Doświadczenie w weryfikacji logiki LDPC, FEC, ramkowania lub beamformingu przy użyciu modeli referencyjnych dokładnych bitowo i analizy stałopunktowej.
• Doświadczenie w opracowywaniu bodźców opartych na C lub przenośnych bodźców dla SoC, uruchamiania CPU i scenariuszy sterowanych oprogramowaniem.
• Doświadczenie w stosowaniu narzędzi AI, ML lub LLM do generacji bodźców, triage regresji lub analizy pokrycia.

Oświadczenie kulturowe: Nie spełniasz wszystkich wymaganych kwalifikacji? Badania wykazały, że niektórzy ludzie są mniej skłonni do aplikowania na stanowiska, chyba że spełniają wszystkie wymagane kwalifikacje. W Blue Origin jesteśmy zobowiązani do budowania 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.

Kandydaci mogą być poddani weryfikacji i screeningowi BGS zgodnie z obowiązującym prawem.