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

Qualcomm; Cambridge; On-site; GBP 50,000 - 90,000; Full time

Job summary

An innovative firm in Cambridge is seeking a talented engineer to join their cutting-edge Digital ASIC design team. This role focuses on developing high-quality formal verification test benches for complex GPU designs, requiring strong skills in ASIC design and verification methodologies. You will collaborate with design and implementation teams to ensure the highest quality standards. The position offers an exciting opportunity to work within a vibrant team dedicated to pioneering technologies in the IoT and automotive sectors. If you are passionate about pushing the boundaries of technology and thrive in a collaborative environment, this is the perfect opportunity for you.

Benefits

Salary 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

Menopause Support

Education Assistance

Subsidised gym membership

Qualifications

• 6+ years ASIC design or verification experience required.
• Proficient in formal verification and design debug.

Responsibilities

• Develop high-quality formal verification test benches for GPU designs.
• Collaborate with design teams to ensure high-quality verification.

Skills

ASIC design

Formal verification

System Verilog

Verilog

VHDL

Scripting skills

Design debug

Deep bug hunting

Formal test planning

Jasper

VC-formal

Education

Bachelor's degree in Science or Engineering

Master's degree in Science or Engineering

PhD in Science or Engineering

Tools

Jasper

VC-formal

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

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 developing high-quality formal verification test benches to verify complex designs in GPU. The position involves working with design and 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

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

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

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.

Links to videos or articles:

Diversity, Equity and Inclusion | Qualcomm

Minimum Qualifications:

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

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