GPU Verification Methodology Engineer - 74796

Location: Orlando, US

Company: Advanced Micro Devices

Apply now

Apply for Job

What you do at AMD changes everything 

At AMD, we push the boundaries of what is possible.  We believe in changing the world for the better by driving innovation in high-performance computing, graphics, and visualization technologies – building blocks for gaming, immersive platforms, and the data center. 

Developing great technology takes more than talent: it takes amazing people who understand collaboration, respect, and who will go the “extra mile” to achieve unthinkable results.  It takes people who have the passion and desire to disrupt the status quo, push boundaries, deliver innovation, and change the world.   If you have this type of passion, we invite you to take a look at the opportunities available to come join our team.

Advanced Micro Devices, Inc. (AMD) (NYSE: AMD) is an innovative technology company dedicated to collaborating with customers and technology partners to ignite the next generation of computing and graphics solutions at work, home and play. If you have a passion for excellence and a drive to achieve, you belong at AMD. Our employees work hard, have fun, and thrive on success. We meet the challenges of an evolving marketplace by staying true to our corporate values, including an unwavering respect for individuals and a focus on retaining superior employees.


At AMD we strive for high quailty designs through advanced verification techniques including static methods such as formal. As a Formal Verification Engineer, you are responsible to design and build solutions that will be applied to AMDs most advanced architectures. Your work has the potential to accelerate the efficiency and quality of GPU that will be consumed by millions.

In this role, you will perform formal verification of design properties of complex ASIC designs. You will collaborate with design and verification engineers to define meaningful properties that capture the design intent of a logic block and constraints on its input stimulus. You will also help define and improve design and verification methodologies that allow you to achieve formal verification closure. This is a central role that will require you to interact with multiple design teams.


Key Responsibilities

  • Develop formal verification strategy, create a plan, implement properties and constraints for complex digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
  • Innovate and resolve difficult to verify properties.
  • Automate where possible and contribute improvements to methodologies to enhance formal verification results.
  • Architect and implement reusable formal verification components


Minimum Qualifications

  • Bachelor’s degree in Electrical Engineering or Computer Science, or equivalent practical experience. 
  • Experience in verification of designs such as GPUs, CPUs, or other complex digital designs
  • Experience capturing design specification in a temporal assertion language such as SVA or PSL.
  • Storng communicator and team player

Preferred Qualifications

  • Master’s or PhD degree in Electrical Engineering or Computer Science.
  • Knowledge of and experience working with one or more formal verification tools, such as VC_FORMAL, 0-In Formal.
  • Proficient with a scripting language such as python, perl
  • Basic understanding of formal verification algorithms.



Requisition Number: 74796 
Country: United States State: Florida City: Orlando 
Job Function: Design 


AMD does not accept unsolicited resumes from headhunters, recruitment agencies or fee based recruitment services. AMD and its subsidiaries are equal opportunity employers. We consider candidates regardless of 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. Please click here for more information.

Nearest Major Market: Orlando

Apply now

Apply for Job

Share this Job