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. This is who we are at our best. One Company. One Team. 

AMD together we advance_

THE ROLE: 

The focus of this role is to plan, build, execute formal verification methodology for design verification of AMD’s products.

THE PERSON:  

You have a passion for modern, complex processor and SOC architecture, digital design, design verification in general and for the art of formal verification in particular. You are a team player who has excellent communication skills and experience collaborating with other engineers located in different sites/time zones. You have strong analytical and problem-solving skills and are willing to learn and ready to take on problems. 

KEY RESPONSIBILITIES:  

• AMD is seeking a dedicated and self-motivated person to join the Verification Methodologies and Tools (VMT) team 
• VMT is a central R&D team that works with all project execution teams and provides design verification flows and methodologies 
• This role's focus will be on Formal Verification (FV) and methodologies and flows around FV 
• As a formal verification expert, the candidate will drive verification projects that apply static analysis and formal methods tools and techniques to core and systems development to eliminate hardware design, implementation, functional and security flaws 
• Evangelize the formal verification solutions; analyze the effects they have on the correctness, identify best practices, show the benefits on the quality of the design, focusing on critical issues
• Share knowledge through hands on work, documentation, presentations, organize work groups, and drive the internal formal verification community
• Contribute to FV applications to AMD products; create flows, and methodologies that support extensive and efficient use of FV across AMD
• Drive or support projects that apply formal verification, tools, and techniques to improve hardware design and implementation quality 
• If you're eager to take up a challenge, passionate about formal verification, enjoy hands-on practices, and driven to implement ideas, we'd like to work with you!

PREFERRED EXPERIENCE:  

• Strong programming, scripting and debugging skills 

• Hands on experience with using formal verification tools from EDA vendors 
• Knowledge of or experience with static analysis and/or formal methods, such as formal logic and model checking
• Ability to understand hardware description languages (such as Verilog) and hardware design and debugging them 
• Scripting language experience: Perl, Ruby, Makefile, shell preferred 
• Proficient in IP level ASIC verification, debugging RTL code using simulation or formal tools 
• Exposure to leadership or mentorship is an asset 
• Collaborative, able to work with teammates and teams across the globe
• Driven to learn and try new techniques and technologies
• Detail oriented, organized and highly motivated
• Experience with data analysis, data mining, and machine learning is a plus
• Experience with cloud computing is another plus 

ACADEMIC CREDENTIALS:  

• Bachelors or Masters or PhD degree in computer engineering/Electrical Engineering/Computer Science or Equivalent  

LOCATIONS:

Austin, TX

#LI-G11

At AMD, your base pay is one part of your total rewards package.  Your base pay will depend on where your skills, qualifications, experience, and location fit into the hiring range for the position. You may be eligible for incentives based upon your role such as either an annual bonus or sales incentive. Many AMD employees have the opportunity to own shares of AMD stock, as well as a discount when purchasing AMD stock if voluntarily participating in AMD’s Employee Stock Purchase Plan. You’ll also be eligible for competitive benefits described in more detail here.

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.

At AMD, your base pay is one part of your total rewards package.  Your base pay will depend on where your skills, qualifications, experience, and location fit into the hiring range for the position. You may be eligible for incentives based upon your role such as either an annual bonus or sales incentive. Many AMD employees have the opportunity to own shares of AMD stock, as well as a discount when purchasing AMD stock if voluntarily participating in AMD’s Employee Stock Purchase Plan. You’ll also be eligible for competitive benefits described in more detail here.

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.

THE ROLE: 

The focus of this role is to plan, build, execute formal verification methodology for design verification of AMD’s products.

THE PERSON:  

You have a passion for modern, complex processor and SOC architecture, digital design, design verification in general and for the art of formal verification in particular. You are a team player who has excellent communication skills and experience collaborating with other engineers located in different sites/time zones. You have strong analytical and problem-solving skills and are willing to learn and ready to take on problems. 

KEY RESPONSIBILITIES:  

• AMD is seeking a dedicated and self-motivated person to join the Verification Methodologies and Tools (VMT) team 
• VMT is a central R&D team that works with all project execution teams and provides design verification flows and methodologies 
• This role's focus will be on Formal Verification (FV) and methodologies and flows around FV 
• As a formal verification expert, the candidate will drive verification projects that apply static analysis and formal methods tools and techniques to core and systems development to eliminate hardware design, implementation, functional and security flaws 
• Evangelize the formal verification solutions; analyze the effects they have on the correctness, identify best practices, show the benefits on the quality of the design, focusing on critical issues
• Share knowledge through hands on work, documentation, presentations, organize work groups, and drive the internal formal verification community
• Contribute to FV applications to AMD products; create flows, and methodologies that support extensive and efficient use of FV across AMD
• Drive or support projects that apply formal verification, tools, and techniques to improve hardware design and implementation quality 
• If you're eager to take up a challenge, passionate about formal verification, enjoy hands-on practices, and driven to implement ideas, we'd like to work with you!

PREFERRED EXPERIENCE:  

• Strong programming, scripting and debugging skills 

• Hands on experience with using formal verification tools from EDA vendors 
• Knowledge of or experience with static analysis and/or formal methods, such as formal logic and model checking
• Ability to understand hardware description languages (such as Verilog) and hardware design and debugging them 
• Scripting language experience: Perl, Ruby, Makefile, shell preferred 
• Proficient in IP level ASIC verification, debugging RTL code using simulation or formal tools 
• Exposure to leadership or mentorship is an asset 
• Collaborative, able to work with teammates and teams across the globe
• Driven to learn and try new techniques and technologies
• Detail oriented, organized and highly motivated
• Experience with data analysis, data mining, and machine learning is a plus
• Experience with cloud computing is another plus 

ACADEMIC CREDENTIALS:  

• Bachelors or Masters or PhD degree in computer engineering/Electrical Engineering/Computer Science or Equivalent  

LOCATIONS:

Austin, TX

#LI-G11