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 40 days ago $147,900–$221,900
Actively hiring Confirmed live today High trust Competitive pay
Formal Verification Model Checking Theorem Proving Jaspergold VC-Formal ACL2 HOL C++ Python TCL Hardware Description Languages Microprocessor Architecture Instruction Set Architecture Floating-Point Math Memory Consistency Memory Coherency Security Architectures Automation
8+ yrs exp
Save