Graduate Silicon Design Engineer

WHAT YOU DO AT AMD CHANGES EVERYTHING

At AMD, our mission is to build great products that accelerate next‑generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create something extraordinary. When you join AMD, you’ll discover the real differentiator is our culture.

We push the limits of innovation to solve the world’s most important challenges—striving for execution excellence, while being direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the future of AI and beyond.

Together, we advance your career.

Join AMD’s Formal Verification organization as a Graduate Engineer and kickstart your career in hardware verification. In this role, you will embark on a custom training curriculum, and you’ll build your expertise through close mentorship from industry and domain experts, gaining hands‑on experience with the fundamentals and advanced techniques of formal verification while working with complex GPU and AI designs. As you develop your skills, you’ll transition into AMD’s Graphics IP Central Formal Verification Team, where you’ll contribute to verifying next‑generation visual computing and AI chips using industry‑standard tools such as Cadence Jasper Gold and Synopsys VC Formal, supported by innovative AI‑driven verification technologies.

• Develop SVA properties and constraints from design specifications, build and maintain formal test benches, and create block‑level verification plans
• Debug counterexamples, work closely with design engineers to clarify intent and resolve functional issues, and track key verification metrics
• Contribute to improvements in formal verification methodology, document assumptions and findings, and share key insights with the wider team
• Receive structured training in digital design fundamentals, System Verilog Assertions, property development, and formal convergence techniques, while gaining exposure to cutting‑edge GPU and AI microarchitecture
• Track verification metrics such as proof convergence and property completeness

• You are a final‑year student or a recent graduate with a Bachelor’s or Master’s degree in Electrical Engineering, Electronics Engineering, Computer Engineering, Computer Science, or Mathematics.
• You are passionate about hardware and curious about hardware verification and formal methods.
• You are self‑motivated, self‑driven, and enjoy problem‑solving complex technical challenges.
• You have a strong foundation in digital logic, computer science, or mathematics.
• You are comfortable in a fast‑paced environment and are able to adapt quickly to new technologies.
• You are a clear communicator and collaborative team player with a growth mindset.

• Location:
  
  Cambridge or Bristol, UK
• Hybrid

AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee‑based recruitment services. AMD and its subsidiaries are equal‑opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third‑party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law.

We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective laws throughout all stages of the recruitment and selection process.