GPU Formal Verification Engineer

Jul 11, 2024
Sydney, Canada
... Not specified
... Intermediate
Full time
... Office work


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_




THE ROLE:

The ideal candidate has around 5 years of experience in industry in a hardware design or verification role, has an understanding of all aspects of hardware verification, and experience or interest in Formal verification. 

 

KEY RESPONSIBILITIES:

  • Collaborate with architects, modelling engineers, and designers on design specifications
  • Develop test plans and specify functional coverage
  • Develop and maintain formal verification environments
  • Develop and maintain SystemVerilog/UVM test benches
  • Analyze and improve coverage of the design
  • Identify and implement opportunities for improving AMD’s design and verification environment

 

PREFERRED EXPERIENCE:

  • Experience in use of formal methods to prove correctness of software or hardware systems
  • Hardware verification using SystemVerilog/ UVM or formal verification methodologies
  • Understanding of RTL code written in Verilog or VHDL
  • Software development using C or C++
  • Debug of hardware or software using industry standard debug tools
  • Graphics API or graphics pipeline knowledge is an advantage

 

ACADEMIC CREDENTIALS:

  • Bachelor or higher degree in Science, Electrical or Computer Engineering, or a related field.

 

LOCATION:

Sydney, Australia

 

#LI-SC2

#LI-HYBRID




Benefits offered are described:  AMD benefits at a glance.

 

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.

Benefits offered are described:  AMD benefits at a glance.

 

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 ideal candidate has around 5 years of experience in industry in a hardware design or verification role, has an understanding of all aspects of hardware verification, and experience or interest in Formal verification. 

 

KEY RESPONSIBILITIES:

  • Collaborate with architects, modelling engineers, and designers on design specifications
  • Develop test plans and specify functional coverage
  • Develop and maintain formal verification environments
  • Develop and maintain SystemVerilog/UVM test benches
  • Analyze and improve coverage of the design
  • Identify and implement opportunities for improving AMD’s design and verification environment

 

PREFERRED EXPERIENCE:

  • Experience in use of formal methods to prove correctness of software or hardware systems
  • Hardware verification using SystemVerilog/ UVM or formal verification methodologies
  • Understanding of RTL code written in Verilog or VHDL
  • Software development using C or C++
  • Debug of hardware or software using industry standard debug tools
  • Graphics API or graphics pipeline knowledge is an advantage

 

ACADEMIC CREDENTIALS:

  • Bachelor or higher degree in Science, Electrical or Computer Engineering, or a related field.

 

LOCATION:

Sydney, Australia

 

#LI-SC2

#LI-HYBRID

COMPANY JOBS
1198 available jobs
WEBSITE