Formal Verification Engineer

jobs-near-me.org

<div class="isg-job-description“>

WHAT 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 seeking a passionate and talented Formal Verification Engineer to join our dynamic GFXIP (Graphics IP) Formal Verification team. This role offers you the chance to work with some of the most talented formal verification experts in the industry, applying cutting-edge formal techniques to verify our complex GPU designs. This is an excellent opportunity for a recent graduate or early-career professional to grow their skills in a collaborative and innovative environment.

THE PERSON:

You have a passion for modern, complex processor architecture, digital design, and verification in general. You are a team player who has excellent communication skills. You have strong analytical and problem-solving skills and are willing to learn and ready to take on problems.

KEY RESPONSIBILITIES:

  • Drive formal verification execution with support from FV tech leads for GFX-IP blocks
  • Collaborate with design and architecture teams to understand design specifications and develop verification requirements
  • Utilize formal techniques to build comprehensive testbenches, striving for better convergence of formal proof
  • Debug testbench and/or design issues using formal tools and provide feedback for design improvements
  • Responsible for verification quality metrics like pass rates, code/functional coverage and proof convergence
  • Document formal verification processes, findings, and best practices
  • Continuously learn and stay abreast of advancements in formal verification and related technologies

PREFERRED experience:

  • Good understanding of computer organization/architecture
  • Knowledge of scripting languages such as Python or TCL
  • Internship or project experience in digital design or verification
  • Experience or familiarity with formal tools and/or functional verification tools from Synopsys, Cadence or Mentor Graphics

ACADEMIC CREDENTIALS:

  • Undergrad degree required. Bachelors or Masters degree in computer engineering/Electrical Engineering preferred

This role is not eligible for visa sponsorship.

#LI-EV1

#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.

AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD’s “Responsible AI Policy” is available here.

This posting is for an existing vacancy.

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.

 

To help us track our recruitment effort, please indicate in your cover/motivation letter where (usajobvacancies.com) you saw this job posting.

Share
Job categories: All sectors
Job types: Contract

Consultant National expert en Education et Environnement Antananarivo, Madagascar (à domicile) 7 mois REQ#596160 re-advertisement

jobs-near-me.org Durée du contrat - 7 mois Modalité de travail -  la consultance est basée à…

3 hours ago

Chief of Operations, P-4, FT, 24 months, #00134070, Global Communication &Advocacy, Rome, Italy

jobs-near-me.org UNICEF works in over 190 countries and territories to save children’s lives, defend their…

8 hours ago

Innovation Specialist, P-3, Temporary Position, GPD/Office of Innovation, 364 days, Solutions, OOI, #00135967

jobs-near-me.org UNICEF works in over 190 countries and territories to save children’s lives, defend their…

8 hours ago

Programme Specialist, P-3, Temporary Position (6 months), Florence, Italy, Office of Strategy & Evidence -Innocenti, #00138802 (maternity cover)

jobs-near-me.org UNICEF works in over 190 countries and territories to save children’s lives, defend their…

8 hours ago

National Intern: WASH Knowledge Management (KM), Accra Ghana- 26 Weeks

jobs-near-me.org UNICEF works in over 190 countries and territories to save children’s lives, defend their…

8 hours ago
For Apply Button. Please use Non-Amp Version

This website uses cookies.