Browse tech roles

Basic role filtering by workplace, salary floor, and post age. For full AI matching and advanced filtering upload your resume using AI Match.

3 of up to 20 (filtered)

CPU Formal Verification Engineer

Qualcomm

Santa Clara, CA 35 days ago $142,200$213,400
Actively hiring Confirmed live yesterday High trust Competitive pay
Formal Methods Model Checking Theorem Proving Jaspergold VC-Formal ACL2 HOL C++ Python TCL Hardware Description Languages micro-architecture Instruction Set Architecture Memory Consistency Memory Coherency
8+ yrs exp

CPU Verification Engineer (RISC-V)

Qualcomm

Remote (Santa Clara, CA) +4 43 days ago $167,100$250,700
Actively hiring Confirmed live yesterday High trust Above market
RISC-V Micro-architecture Assertion Gate-level Simulation Assembly Testbench Coverage Collection Silicon bringup Mixed Signal Verification Waveform Viewers Simulators Transactors Memory Management Cache Coherence
4+ yrs exp Remote