Join Qualcomm’s CPU engineering team to verify application-processor designs using formal methods. You’ll partner with designers to understand intent, develop verification plans and architectures, and build end-to-end sign-off environments using model checking, theorem proving, assertions, and architectural modeling.
CPU Formal Verification Engineer in santa clara at Unknown Company
This position is listed as full time and onsite.