> Markdown version of [/jobs/ext/2973644-senior-design-verification-engineer-terawave](https://www.wearedevelopers.com/jobs/ext/2973644-senior-design-verification-engineer-terawave). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Senior Design Verification Engineer - TeraWave - **Company:** Blue Origin - **Location:** Cupertino, CA, United States - **Experience:** Expert - **Salary:** $230,398.0 - $322,557.0 - **Contract:** Permanent contract - **Skills:** Artificial Intelligence, Biometrics, Computer Engineering, Modems, Software Debugging, Fault Tolerance, Firmware, Formal Verification, Subsystems, SystemVerilog, Network Switches, Application Specific Integrated Circuits, Large Language Models, Formal Methods - **Published:** September 18, 2026 - **Apply:** https://diversityjobs.com/main/sendform/8/8/28176/1/18342010?backUrl=%2Fcareer%2F18342010%2FSenior-Design-Verification-Engineer-Terawave-California-Cupertino ## About the Role * 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. * Experience verifying LDPC, FEC, framing, or beamforming logic using bit-accurate reference models and fixed-point analysis. * Formal verification experience on production silicon, including connectivity, register maps, arbitration, CDC, or security properties. * Experience with interconnect or NoC verification covering performance, bandwidth, QoS, and deadlock analysis. * Experience verifying fault tolerance and reliability features such as ECC, redundancy schemes, or fault injection. * Experience developing C-based or portable stimulus for SoC, CPU boot, and firmware-driven test scenarios. * Experience applying AI, ML, or LLM tooling to stimulus generation, regression triage, or coverage analysis. ## Description As a Senior Verification Engineer on the ASIC & Networking team, you support TeraWave's first in-house silicon program, which comprises a high-throughput modem and a DSP-intensive digital beamformer with first tapeout targeted for 2027. Verification strategy, methodology, and infrastructure are being defined now, and you help define them. The work spans IP, subsystem, and full SoC verification, including CPU subsystems, performance-critical interconnects, security, high-speed peripherals, modem datapath and PHY layers, DSP and beamforming compute, and mixed-signal interfaces. You own a subset of this scope aligned to your background. The team treats constrained-random simulation, formal methods, and processor-driven SoC testing as equal first-class tools, and is building an AI-enabled verification platform that includes LLM-assisted stimulus and testbench generation, automated regression triage and failure clustering, and data-driven coverage closure. Because none of this is inherited, the engineers who build these capabilities will own them - and grow with the program as it scales. Background in wireless communications, modem, baseband, and DSP verification is welcome but not required. Architects and modeling engineers support your ramp, and verification judgment and system-level thinking are weighted above domain background., * 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., Applicants for employment at Blue Origin must be a U.S. citizen or national, U.S. permanent resident (i.e. current Green Card holder), or lawfully admitted into the U.S.as a refugee or granted asylum. Background Check * Required for all positions: Blue's Standard Background Check * Required for Certain Job Profiles: Defense Biometric Identification System (DBIDS) background check if at any time the role requires one to be on a military installation * Required for Certain Job Profiles: Drivers who operate Commercial Motor Vehicles with a Gross Vehicle Weight (GVW), Gross Vehicle Weight Rating (GVWR) or combination of power unit and trailer that meets or exceeds 10,001 lbs. and/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing, vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training. * Required for certain Job Profiles: Ability to obtain and maintain Merchant Mariner Credential, which includes pre-employment and random drug testing as well as DOT physical ## Related Videos - [Playing Pong on a shoulder press machine](https://www.wearedevelopers.com/videos/100140-playing-pong-on-a-shoulder-press-machine) - [Biometric Phone Chargers, $40m Domain Names & AI Movies Winning Awards - Peter Kröner](https://www.wearedevelopers.com/videos/1810-biometric-phone-chargers-40m-domain-names-ai-movies-winning-awards-peter-kroner) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [Agent Smith Gets Hardware: Autonomous IoT Hacking From Debug Port to Cloud API](https://www.wearedevelopers.com/videos/100258-agent-smith-gets-hardware-autonomous-iot-hacking-from-debug-port-to-cloud-api) - [You don't need to write the code. You need to become a verification architect and prove it's correct](https://www.wearedevelopers.com/videos/100023-you-don-t-need-to-write-the-code-you-need-to-become-a-verification-architect-and-prove-it-s-correct) - [WeAreDevelopers LIVE - What Development and Tattoos Have in Common and more](https://www.wearedevelopers.com/videos/1380-wearedevelopers-live-what-development-and-tattoos-have-in-common-and-more) ## Related Articles - [AI Eats the Verifiable First](https://www.wearedevelopers.com/magazine/765-ai-eats-the-verifiable-first) - [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again) - [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers) - [Dev Digest 134 - Where pixels sing?](https://www.wearedevelopers.com/magazine/477-dev-digest-134-where-pixels-sing) - [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)