Role & seniority: Graphics Formal Verification Engineer (mid/senior level) in Qualcomm Technologies International Ltd’s Digital ASIC design team.

Stack/tools: Formal verification methodologies and tools; UVM/SystemVerilog; simulation-based verification; design debug and assertion development.

Top 3 responsibilities

Develop high-quality formal verification test benches to verify GPU designs.
Collaborate with design and implementation teams to verify complex designs.
Perform deep debugging and bug hunting using formal and assertion-based techniques.

Must-have skills

Bachelor’s degree (4+ years in ASIC design/verification) or Master’s (3+ years) or PhD (2+ years) in Science/Engineering related field.
Proficiency in debugging, formal verification, assertion development.
Experience with simulation-based verification (UVM/SystemVerilog) is required.

Nice-to-haves

Extended experience with formal verification tools/methodologies and integration into ASIC design flows.
Location & work type: Cambridge, UK; on-site 5 days/week.

Full Description

Company

Qualcomm Technologies International Ltd

Job Area

Engineering Group, Engineering Group > ASICS Engineering

General Summary

Where you will be working
Cambridge, located in the East of England, 50 miles north of London, is a unique and beautiful city, renowned for its world-class university and the thriving cluster of high technology businesses that have grown up around it. Cambridge is well served by road and rail links, and is within easy distance of the major London airports.
PLEASE NOTE THIS ROLE WILL REQUIRE 5 DAYS PER WEEK ONSITE IN OUR CAMBRIDGE OFFICE
About Us
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.
About The Role

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 involve 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.

Preferred Skills

Simulation based verification using UVM/System Verilog
What's on Offer

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

Staff Formal Verification Engineer - Qualcomm - Cambridge, UK