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.

Active Keyword: CPU Formal Verification Engineer Remove filter Location: Santa Clara Remove filter Clear all

1 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
Save