PREFERRED EXPERIENCE:

• In-depth knowledge of IEEE 754 floating-point & OCP arithmetic
• Proven expertise in modelling numerical hardware for modern processors (GPU, CPU, AI, etc)
• Knowledge of tools and techniques for improving numerical algorithm accuracy
• Experience of numerical algorithm design to meet application-level requirements
• Experience with model & equivalency checking tools for numerical hardware, DPV, FPV, DPV, SEC
• Experience with MPFR or other golden reference implementations of arithmetic
• Academic collaborations enabling continuous access to latest numerical research

WHAT YOU DO AT AMD CHANGES EVERYTHING

We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our mission is the AMD culture. We push the limits of innovation to solve the world’s most important challenges. We strive for execution excellence while being direct, humble, collaborative, and inclusive of diverse perspectives.
AMD together we advance_
Responsibilities:

THE ROLE:

AMD is looking for a Numerical Architectural Engineer passionate about driving the cutting-edge numerical modelling & algorithm design for AMD’s next generation graphics IP design. The ideal candidate will have proven experience in contributing to cutting-edge numerical modelling strategy enabling validation & verification to achieve industry leading numerical quality and productivity under tight schedule. In this role the candidate will work with the architecture team, modelling team, design team and central formal verification team contributing to our numerical modelling roadmap and help drive towards guaranteeing robust numerical model adoption throughout all aspects of project execution. The candidate will be part of a team that is the point of contact for all GFXIP numerical modelling & validation practice.
You will be a member of a core team of incredibly talented industry specialists and will work with the latest and rapidly evolving graphics IP design.

KEY RESPONSIBILITIES:

• Develop numerical modelling techniques for all current and future number systems, precisions and accuracies for all operations – enabling micro/architecture to express numerical intent at speed
• Produce C++ that enables all consumers of numerical models, multiple simulator teams, formal verification, verification & validation teams
• Perform formal verification of the models against RTL to order to refine the models in light of FV requirements without damaging the validability of the models.
• Explore broader numerical formal verification techniques whether automatic numerical error analysis, model checking or theorem proving
• Teach number systems to accelerate design & debug of architecture, design & verification of numerical designs, refine this material through university collaboration
• Explore automated design space exploration for key graphics algorithms whether algorithm rewriting, number system design or selection, hardware component design or selection, precision or accuracy. Promote latest rewriting technology throughout the division.
• Help drive improvements in natural language and machine-readable numerical specifications