Formal Verification System Designer
AMD · Santa Clara, CA · Engineering
About this role
AMD is hiring a mid-level Embedded Software Engineer in the software engineering function based in Santa Clara, CA. The posting calls out experience with Python, Data Structures, System Design, Embedded Systems.
- Role
- Embedded Software Engineer
- Function
- software engineering
- Level
- mid
- Track
- Individual contributor
- Location
- Santa Clara, CA
- Department
- Engineering
- Posted
- Apr 7, 2026
More roles at AMD
Job description
from AMD careersWHAT 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.
THE ROLE:
AMD is looking for a Formal Verification System Designer passionate about creating & driving cutting-edge techniques across the full landscape of numerical hardware design challenges from numerical machine specifications, algorithm & architecture design, modelling, RTL creation, high/higher level synthesis and formal verification across the design abstractions. The ideal candidate will have a proven interest in the intersection of mathematics and hardware engineering. In this role the candidate will work with key members of the GPU CTO office in conjunction with strategic members of the GPU division whether architecture, modelling, design, formal verification and high-level synthesis teams. The candidate will have full project ownership with projects culminating in multiple talks to diverse audiences.