GPU Graphics Datapath Formal Verification Engineer

Advanced Micro Devices; Cambridge; Hybrid; GBP 45,000 - 75,000; Full time

Job summary

An innovative company is seeking a GPU Formal Datapath Verification Engineer to join their dynamic team in Cambridge. This role involves verifying datapath hardware modules and developing cutting-edge formal methodologies. The ideal candidate will bring a strong mathematical background and experience in hardware design or verification, alongside proficiency in programming languages like C++ or Python. Join an industry leader committed to pushing the boundaries of technology and making a significant impact in the world of computing and graphics.

Qualifications

• Strong mathematical background and experience in hardware design or verification.
• Detail-oriented with strong communication skills.

Responsibilities

• Create verification plans and develop C++ models of ALU datapath components.
• Research and develop new formal methodologies and tool flows.

Skills

C++

Python

Problem-solving

Communication

Education

Bachelor's degree in Computer Engineering

Master's degree in Electrical Engineering

Degree in Mathematics

Degree in Computer Science

Job description

WHAT YOU DO AT AMD CHANGES EVERYTHING

We care deeply about transforming lives with AMD technology to enrich our industry, communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences—building blocks for data centers, artificial intelligence, PCs, gaming, and embedded systems. Our culture emphasizes pushing the limits of innovation to solve global challenges, striving for execution excellence while being direct, humble, collaborative, and inclusive of diverse perspectives.

AMD together we advance

GPU Formal Datapath Verification Engineer (Bristol/Cambridge)

The Role:

Join the Radeon Graphics Central Formal Verification Group to verify datapath hardware modules and develop cutting-edge formal methodologies.

The Person:

The ideal candidate will be highly accurate, detail-oriented, and possess strong communication and problem-solving skills.

Key Responsibilities:

1. Create verification plans.
2. Develop C++ models of ALU datapath components.
3. Perform formal proof of ALU datapath components.
4. Research and develop new formal methodologies and tool flows.

Preferred Experience:

1. Experience in hardware design and/or verification.
2. Strong mathematical background.
3. Experience with programming languages such as C++ or Python.

Academic Credentials:

• Bachelor's or Master's degree in Computer Engineering, Electrical Engineering, Mathematics, Computer Science, or related fields or equivalent experience.

#LI-HS3
#LI-HYBRID

Benefits offered are described here.

AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based services. We are an equal opportunity employer and consider all applicants regardless of age, ethnicity, gender, or other protected characteristics. We encourage all qualified candidates to apply and will accommodate needs as required by law.