Senior Design Verification Engineer - TeraWave
Central TexasAll locationsCentral TexasGreater Seattle AreaBay Area, CA Remote
Salary not listedJobFig found this opening at its original source and checks that it remains available.
About the role
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.
What you'll bring
- 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.