Formal Verification Senior Engineer - Qualcomm, Cambridge, UK
Full-time
Cambridge, UK
Posted on Oct 7, 2026
Company
Qualcomm Technologies International Ltd
Job Area
Engineering Group, Engineering Group > ASICS Engineering
General Summary
Master's degree in Science, Engineering, or related field and 1+ year of ASIC design, verification, validation, integration, or related work experience.
OR
PhD in Science, Engineering, or related field.
Preferred Education Requirements
Bachelors/Masters in Electronics/Computer Engineering
Technical Experience
2+ years of relevant experience in Formal Verification
Keywords
Formal Property Verification (FPV), DPV, C2RTL, SystemVerilog, SystemVerilog Assertions (SVA), JasperGold, VC Formal
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.
Qualcomm Technologies International Ltd
Job Area
Engineering Group, Engineering Group > ASICS Engineering
General Summary
- Develop deep understanding of 3D Graphics hardware pipeline, feature sets, data paths, block functionalities & interfaces; Prior knowledge of GPU Architecture is a big plus.
- Hands-on experience in strategizing, brainstorming, and developing Formal Property Verification (FPV) test-plan, developing an assertion-based verification testbench, debugging all RTL artefacts, and achieving formal sign-off matrices is a MUST.
- Collaborate with global GPU RTL design and DV teams to achieve the project goals.
- Required proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying various abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off.
- Hands-on experience in other formal applications like DPV, C2RTL SEQ, RTL2RTL SEQ, etc. is a plus.
- Strong communication skills, ability to learn, improve, and deliver
- Bachelor's degree in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.
Master's degree in Science, Engineering, or related field and 1+ year of ASIC design, verification, validation, integration, or related work experience.
OR
PhD in Science, Engineering, or related field.
Preferred Education Requirements
Bachelors/Masters in Electronics/Computer Engineering
Technical Experience
2+ years of relevant experience in Formal Verification
Keywords
Formal Property Verification (FPV), DPV, C2RTL, SystemVerilog, SystemVerilog Assertions (SVA), JasperGold, VC Formal
- 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 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.