Qualcomm Functional Formal Verification (San Diego & Santa Clara)

Qualcomm is currently seeking candidates for positions focused on functional formal verification technology such as model checking, property verification, and formal methods. Projects include functional design verification, protocol verification, post-silicon debugging, clock domain crossing verification, deadlock detection, and developing new applications by leveraging existing formal verification tools in industry. Responsibilities include requirements collection, problem formulation, functional formal verification, solution proposal, implementation, testing, documentation, deployment, and user support.

You can review and apply to positions 1879348 and 1879315 via the following link: http://jobs.qualcomm.com/staffing/Staffing.asp?page=search . Qualcomm is an equal opportunity employer, but at the moment we are only able to consider candidates currently residing in North America.

.