Senior Verification Engineer - AI-Driven SoC & Modem

BLUE ORIGIN; United States; Remote; USD 140,000 - 180,000; Full time

Job summary

Blue Origin in the United States is hiring a Senior Verification Engineer for the ASIC & Networking team working on TeraWave, a high-throughput satellite modem and DSP-intensive beamformer with first tapeout targeted for 2027.

You will own verification planning for complex blocks, translate design specs into strategies and goals, choose methods like constrained-random simulation, formal analysis, and directed testing, and help build AI-enabled verification capabilities.

Qualifications

• Experience in verification planning and execution.
• Proficiency with constrained-random simulation.
• Familiarity with formal methods and coverage-driven verification.
• Ability to develop and maintain verification environments.
• Experience with CI systems and testbench reuse.
• Interest in AI-enabled verification platforms.

Responsibilities

• 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

Skills

Verification planning

Constrained-random

Formal analysis

Directed testing

Scoreboards/monitors

AI-enabled verification

Job description

Blue Origin in the United States is hiring a Senior Verification Engineer for the ASIC & Networking team working on TeraWave, a high-throughput satellite modem and DSP-intensive beamformer with first tapeout targeted for 2027.

You will own verification planning for complex blocks, translate design specs into strategies and goals, choose methods like constrained-random simulation, formal analysis, and directed testing, and help build AI-enabled verification capabilities.