Senior Verification Engineer, ASIC & Space Networking

Blue Origin; Kraków; Vor Ort; PLN 180.000 - 300.000; Vollzeit

Zusammenfassung

Blue Origin in Kraków is seeking a Senior Verification Engineer for the ASIC & Networking team to support the TeraWave silicon program, including a high-throughput modem and a DSP-intensive digital beamformer with a 2027 tapeout target.

The role covers IP, subsystem, and full SoC verification, and requires building verification environments, plan sign-off, and AI-assisted stimulus. Collaboration with architects and modeling engineers is essential.

Qualifikationen

• Bachelor's degree in Electrical Engineering, Computer Engineering, or related field, or equivalent experience.
• Minimum five years of professional experience in ASIC or SoC functional verification.
• Hands-on expertise in SystemVerilog, UVM or formal testbench development and maintenance.
• Experience with metric-driven verification for planning, assertions, and functional coverage closure.
• Experience verifying complex digital control and datapath logic, including RTL and system-level debug.
• Background in space-based communications, wireless communications, or modem, baseband, or DSP hardware (preferred).
• Experience verifying LDPC, FEC, framing, or beamforming logic using bit-accurate reference models and fixed-point analysis (preferred).
• Formal verification experience on production silicon, including connectivity, register maps, arbitration, CDC, or security properties (preferred).
• Experience with interconnect or NoC verification covering performance, bandwidth, QoS, and deadlock analysis (preferred).
• Experience verifying fault tolerance and reliability features such as ECC, redundancy schemes, or fault injection (preferred).
• Experience developing C-based or portable stimulus for SoC, CPU boot, and firmware-driven test scenarios (preferred).
• Experience applying AI, ML, or LLM tooling to stimulus generation, regression triage, or coverage analysis (preferred).

Aufgaben

• Own verification planning and execution for complex blocks and subsystems, from test plan through sign-off.
• Translate design specifications into verification strategies, measurable coverage goals, and early identification of high-risk scenarios.
• Select verification methods for each problem, including constrained-random simulation, formal analysis, and directed testing.
• Develop verification environments, reference models, scoreboards, protocol monitors, coverage components, and assertions.
• Drive functional coverage closure, regression health, and sign-off readiness across simulation and formal results.
• Build verification infrastructure, regression and CI systems, and reuse strategy across IP, subsystem, and SoC levels.
• Apply and build AI-assisted verification capabilities for stimulus generation, regression triage, and coverage analytics.
• Review testbench architecture and debug methodology, and mentor junior engineers in verification methodology.

Kenntnisse

SystemVerilog

UVM

Formal verification

RTL debugging

Metric-driven verification

ASIC/SoC verification

Ausbildung

Bachelor's degree in Electrical Engineering, Computer Engineering, or related field

Tools

Verification environments

Reference models

Jobbeschreibung

Blue Origin in Kraków is seeking a Senior Verification Engineer for the ASIC & Networking team to support the TeraWave silicon program, including a high-throughput modem and a DSP-intensive digital beamformer with a 2027 tapeout target.

The role covers IP, subsystem, and full SoC verification, and requires building verification environments, plan sign-off, and AI-assisted stimulus. Collaboration with architects and modeling engineers is essential.