Hardware Formal Verification Engineer (Multiple Levels Available) - GPU Team - Cambridge, UK

QCT's Digital ASIC design team delivers cutting edge hardware and software products that power the user experience and graphics content of the most advanced mobile devices on the market.

Graphics formal verification positions involves the developing high-quality formal verification test benches to verify complex designs in GPU. Position involves working with design, implementation teams to verify designs with high quality. Must be proficient in debugging, deep bug hunting, formal tools, formal verification methodologies and processes. Candidate should be proficient in design debug and assertion development. Minimum Skills:

• 6+ years ASIC design, verification, or related work experience
• Verification skills: Formal verification (Static and Dynamic), Assertion based verification
• System Verilog, Verilog or VHDL, Scripting skills required.
• Design debug, Deep bug hunting, Formal test planning, Formal tools - Jasper, VC-formal.
Preferred Skills:
• Simulation based verification using UVM/System Verilog, Bachelor's degree in Science, Engineering, or related field and 4+ years of ASIC design, verification, or related work experience., Master's degree in Science, Engineering, or related field and 3+ years of ASIC design, verification, or related work experience., PhD in Science, Engineering, or related field and 2+ years of ASIC design, verification, 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.
  
  At our Cambridge site we are focused on pioneering IoT and automotive technologies, with engineering areas of excellence including, Analogue and Digital Design, Voice and Music (Hardware, Software, OEM Support, Innovation).
Cambridge is our largest office in the UK, with more than 600 team members including engineers, business strategists and support staff., Diversity, Equity and Inclusion | Qualcomm (https://www.qualcomm.com/company/corporate-responsibility/our-people/diversity-equity-and-inclusion)

Apart from working in an open, relaxed and collaborative space, you will enjoy:
• Salary, stock and performance related bonus
• Employee stock purchase scheme
• Matching pension scheme
• Life, Medical, Income and Travel Insurance
• Relocation Assistance (If required)
• Enhanced Maternity Leave
• Enhanced Paternity Leave
• Menopause Support
• Education Assistance
• Employee Assistance Programme
• Voluntary Health Checks
• Complimentary Period Products onsite
• Global Wellbeing Days
• Subsidised gym membership
• Bicycle purchase scheme
• Employee run clubs, including, running, football, chess, badminton + many more
Qualcomm actively seeks and recruits diverse candidates for positions at the company. Diverse teams, built around different perspectives, experiences and skill sets, fuel creativity and innovation. We're developing leaders and shaping future talent pools to help us meet the needs of our diverse customers worldwide. This means we're taking a broad approach to finding diverse candidates. We are proud to be a WORK180 endorsed employer, see our range of UK benefits and policies directly at WORK180: Qualcomm Benefits | WORK180 Endorsed Employer (https://work180.com/en-gb/for-women/employer/qualcomm/benefits)