CPU Formal Verification Engineer - Qualcomm - Cambridge , UK

Qualcomm; London; Hybrid; GBP 50,000 - 90,000; Full time

Job summary

An established industry player is seeking a talented engineer to join their world-class CPU design team. This role focuses on formal verification methodologies for next-gen application processors, offering a unique opportunity to work with some of the brightest minds in the field. You will engage in defining architectures, developing test plans, and deploying cutting-edge verification technologies. If you are passionate about shaping the future of CPU design and enjoy a collaborative environment, this position is perfect for you. Join a team dedicated to innovation and excellence in the tech industry.

Benefits

Salary, stock and performance related bonus

Employee stock purchase scheme

Matching pension scheme

Life, Medical, Income and Travel Insurance

Relocation Assistance

Enhanced Maternity Leave

Enhanced Paternity Leave

Education Assistance

Employee Assistance Programme

Subsidised gym membership

Qualifications

• Strong model checking or theorem proving background in complex systems.
• Experience in writing assertions in Hardware Description Languages.

Responsibilities

• Define formal verification architecture and develop test plans.
• Engage in full-spectrum deployment of model-checking technology.

Skills

Formal Verification

Model Checking

Theorem Proving

Software Engineering

Programming (C++, Python, TCL)

Education

Bachelor's degree in Computer Science/Electronic Engineering

Master's degree in Computer Science/Electronic Engineering

PhD in Computer Science/Electronic Engineering

Tools

Jaspergold

VC-Formal

ACL2

HOL

Job description

Company:

Qualcomm Technologies International Ltd

Job Area:

Engineering Group, Engineering Group > ASICS Engineering

General Summary:

About the role

Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the development of the next generation of formal methodologies in this space? 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. Sharpen your formal verification skills to their fullest on some of the 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.
• Engage in full-spectrum deployment of model-checking technology to hardware designs including property verification, math proofs, architectural modelling and validation amongst other cutting-edge application areas.

To be successful in this position you will need

• Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software.
• Strong model checking or theorem proving background/experience in verification of complex systems.
• Experience in writing assertions and associated modelling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods.
• Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL.

The ideal candidate will have the following experience

• MSc /PhD degree in Computer Science /Electronic Engineering; graduate to 10+ years of practical experience (experience matters to us more than years).
• Strong foundation in formal methods and in their application to hardware specifications and/or implementations.
• Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures.
• Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.).

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.

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.

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.

Equal Opportunities & Equal Pay

We are an Equal Opportunity employer; all qualified applicants will receive consideration for employment without regard to race, colour, religion, sexual orientation, gender identity, national origin, disability, veteran status, or any protected classification.

Giving Back

Employees in Cambridge have a strong sense of community. We are encouraged through the philanthropic endeavours of the Qualcomm Foundation to support causes that matter to us.

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.

We are proud to be a WORK180 endorsed employer, see our range of UK benefits and policies directly at WORK180: Qualcomm – Work180 Endorsed Employer

Excited about this role, but not sure if you meet 100% of the criteria? We would still like to hear from you and would welcome your application.

Qualcomm encourages a healthy work-life balance. We now offer flexible options tailored to our employees' needs. These include a combination of working from home and at our Cambridge site, as well as flexi-times around a 37 hour week.

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

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 [e-mail] or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able to 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.