CPU Formal Verification Intern — End-to-End Sign-off

QUALCOMM, Inc.; Cambridge; On-site; GBP 17,000 - 25,000; Part time

Job summary

Qualcomm Technologies International Ltd in Cambridge is seeking an Intern for the Interns Group to join a world-class CPU design team. You will develop formal verification skills and contribute to end-to-end verification from architecture to micro-architecture.

Work with the design team to understand design intent, define verification plans, and build end-to-end sign-off environments for CPU components. Applicants are pursuing a Bachelor's/Master’s in STEM or a PhD.

Qualifications

• Pursuing bachelor’s or master’s degree with courses on computer architecture and Verilog HDL design or formal methods.
• PhD candidates in Mathematics, Science, Engineering, or related field encouraged.
• Equivalent experience considered if duties can be demonstrated.

Responsibilities

• Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalisation of the refinement from architecture to micro-architecture
• Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components

Education

Bachelor’s or Master’s degree in Mathematics, Science, Engineering, or related field

PhD in Mathematics, Science, Engineering, or related field

Job description

Qualcomm Technologies International Ltd in Cambridge is seeking an Intern for the Interns Group to join a world-class CPU design team. You will develop formal verification skills and contribute to end-to-end verification from architecture to micro-architecture.

Work with the design team to understand design intent, define verification plans, and build end-to-end sign-off environments for CPU components. Applicants are pursuing a Bachelor's/Master’s in STEM or a PhD.