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:
- Create verification plans.
- Develop C models of ALU datapath components.
- Perform formal proof of ALU datapath components.
- Research and develop new formal methodologies and tool flows.
Preferred Experience:
- Experience in hardware design and/or verification.
- Strong mathematical background.
- 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.
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.