Browse tech roles

Filter the feed by workplace, employment type, salary floor, and post age. For ranked matching against your resume, use AI Match.

1 of up to 20 (filtered)

CPU Formal Verification Engineer

Qualcomm

Santa Clara, CA 11 days ago $167,100$250,700
Actively hiring Verified listing Above market
Python TCL C++ ACL2 HOL Jaspergold VC-Formal Hardware Description Languages Model Checking Theorem Proving Formal Verification Microprocessor Architecture MISRA C/C++ Memory Consistency Security Architectures