Senior Engineer - Formal Verification at Qualcomm, Cambridge, UK

About the Role

Join Qualcomm Technologies International Ltd as a Senior Engineer specialized in Formal Verification within the Engineering Group at Cambridge. This position entails developing a deep technical knowledge of 3D Graphics hardware pipelines, including data paths, features, block functionalities, and interfaces. Familiarity with GPU architecture is a significant advantage for success.

Key Responsibilities

• Design and execute Formal Property Verification (FPV) test plans and develop assertion-based verification testbenches.
• Perform comprehensive debugging of RTL artifacts and manage formal sign-off criteria.
• Collaborate internationally with GPU RTL design and DV teams to align project objectives.
• Utilize industry-standard formal verification tools and author SystemVerilog Assertions to tackle formal proof complexity using various abstraction techniques.
• Conduct rigorous bug analysis, ensure coverage closure, and achieve verification sign-offs.
• Experience with additional formal methods like Dynamic Property Verification (DPV), C2RTL SEQ, and RTL2RTL SEQ is advantageous.

Qualifications and Experience

• A Bachelor’s degree in Science, Engineering, or a related discipline with at least 2 years’ experience in ASIC design, verification, validation, integration, or related fields.
• Alternatively, a Master’s degree with a minimum of 1 year’s relevant experience or a PhD in a related domain qualifies.
• Preferred educational background includes Bachelor’s or Master’s in Electronics or Computer Engineering.
• At least 2 years of practical experience in Formal Verification methodologies and tools.

Skills and Tools

• Formal Property Verification (FPV)
• SystemVerilog and SystemVerilog Assertions (SVA)
• Familiarity with formal verification tools such as JasperGold and VC Formal
• Experience addressing formal proof complexity and bug hunting techniques
• Understanding of GPU architecture and ASIC design verification principles

Company Policies and Additional Information

Qualcomm is an equal opportunity employer committed to accessibility and inclusivity, offering reasonable accommodations for applicants with disabilities throughout the hiring process. All employees must comply with company confidentiality policies and security protocols.

Note: Staffing and recruiting agencies are not permitted to submit candidate applications or resumes to Qualcomm.