Staff Formal Verification Engineer - Qualcomm - Cambridge, UK

**Company:**

------------

Qualcomm Technologies International Ltd

**Job Area:**

-------------

Engineering Group, Engineering Group > ASICS Engineering

**General Summary:**

**About Us**

The Cambridge office is a key hub for Qualcomm’s innovation in Voice & Music, Wearables, Automotive, and IoT technologies, with engineering excellence spanning analogue and digital design, advanced systems, and OEM support as well as has a small presence of Qualcomm's GPU (Adreno) and Custom-CPU teams.

Located in the heart of Cambridge Business Park, our site is home to over 350 employees, including engineers, corporate functions, and support teams with regional and global responsibilities.

**About The Role**

The Qualcomm® Adreno™ GPU takes PC platforms and mobile UI, games, and advanced graphics applications to the next level, providing users with stunning visuals and high-performance video streaming, enabling enhanced AI processing, and next-gen mobile gaming while optimizing power consumption.

In the fast-moving world of GPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Qualcomm’s GPU team is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of GPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world-wide!

In the role of GPU Formal Verification Engineer, your project responsibilities will include the following,

• Develop deep understanding of 3-D Graphics hardware pipeline, feature sets, data paths, block functionalities & interfaces
• Strategize, brainstorm, and develop Formal Property Verification (FPV) test-plan, develop an assertion-based verification testbench, debug all RTL artefacts, and achieve formal sign-off matrices
• Collaborate with global GPU system architecture, RTL design, and DV teams to achieve the project goals
• Engage with EDA vendors, explore new and innovative DV methodologies to push the limits of sign-off quality
• Required proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying variaous abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off
• Knowledge of GPU Architecture is not required, but a plus
• Hands-on experience in other formal applications like DPV, C-to-RTL SEQ, RTL-to-RTL SEQ, etc. is a plus
• Strong communication skills, ability to learn, improve, and deliver

**Minimum Qualifications:**

• Bachelor's degree in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.

OR

Master's degree in Science, Engineering, or related field and 3+ years of ASIC design, verification, validation, integration, or related work experience.

OR

PhD in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.

\*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail disability-accomodations@qualcomm.com or call Qualcomm's toll-free number found here . Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.

**To all Staffing and Recruiting Agencies** : Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.

If you would like more information about this role, please contact Qualcomm Careers .