Graduate CPU Formal Verification Engineer - Cambridge, UK

Graduate CPU Formal Verification Engineer - Cambridge, UK

Cambridge Full-Time 30000 - 40000 £ / year (est.) No working from home possible
Nutanix

At a Glance

  • Tasks: Join a world-class CPU design team and develop formal verification skills on complex designs.
  • Company: Qualcomm, a leading technology innovator shaping the future of communication and data processing.
  • Benefits: Competitive salary, stock options, generous parental leave, and health insurance.
  • Other info: Onsite role in Cambridge with excellent career growth opportunities.
  • Why this job: Make an impact in cutting-edge technology while collaborating with top engineers in the field.
  • Qualifications: Degree in Engineering or related field; experience in ASIC design and verification preferred.

The predicted salary is between 30000 - 40000 £ per year.

Company: Qualcomm Technologies International Ltd

Job Area: Engineering Group, Engineering Group > ASICS Engineering

General Summary:

About us: As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives communication and data processing transformation to help create a smarter, connected future for all. As a Qualcomm Engineer, you will define, model, design (digital and/or analog), optimize, verify, validate, implement, and document IP (block/SoC) development for a variety of high performance, high quality, low power world class products. Qualcomm Engineers collaborate with cross-functional groups to determine product execution path.

About the role:

Are you interested in working with a world-class CPU design team? The Qualcomm CPU team has some of the best CPU architects and engineers on the planet, developing the processors that will power the future. Come and join us on this exciting adventure! Develop your formal verification skills to their fullest on some of the most complex designs ever attempted.

Roles and 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.

Minimum Experience We Are Looking For:

  • Bachelor’s or Master’s degree in Mathematics, Science, Engineering, or related field with relevant courses on computer architecture and Verilog HDL design or formal methods.
  • OR PhD in Mathematics, Science, Engineering, or related field.

What's on Offer:

  • Salary including housing & transport allowance
  • Stock (RSU's) and performance related bonus
  • 16 weeks fully paid Maternity Leave
  • 6 weeks fully paid Paternity Leave
  • Employee stock purchase scheme
  • Life and Medical Insurance
  • Live+ Well Reimbursement for health and recreational membership fees

Minimum Qualifications:

  • Bachelor's degree in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.
  • OR 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.

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail disability-accomodations@qualcomm.com or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities.

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.

Graduate CPU Formal Verification Engineer - Cambridge, UK employer: Nutanix

Qualcomm Technologies International Ltd is an exceptional employer, offering a dynamic work environment in Cambridge where innovation thrives. Employees benefit from competitive salaries, generous leave policies, and opportunities for professional growth within a collaborative team of world-class engineers. With a strong commitment to diversity and inclusion, Qualcomm fosters a culture that values every individual's contributions, making it an ideal place for those seeking meaningful and rewarding careers in technology.

Nutanix

Contact Details:

Nutanix Recruitment Team

We think you need these skills to ace Graduate CPU Formal Verification Engineer - Cambridge, UK

Formal Verification
Verilog HDL Design
Computer Architecture
Test Plan Development
End-to-End Formal Sign-Off
ASIC Design
Verification and Validation