Home
/
Comprehensive
/
Senior Formal Verification Engineer, CPU
Senior Formal Verification Engineer, CPU-March 2024
Tel Aviv
Mar 17, 2025
ABOUT NVIDIA
NVIDIA is a computing platform company, innovating at the intersection of graphics, HPC, and AI.
10,000+ employees
Technology
VIEW COMPANY PROFILE >>
About Senior Formal Verification Engineer, CPU

  We are looking for a talented, fast learner, and highly motivated Formal Verification Engineer! As a member of our CPU Team, you will be responsible for a portion of the Verification of a high performance and low power chip, focusing on implementing state-of-the art formal verification tools and methodologies to prove design correctness. This position offers you the opportunity to have real impact in a dynamic, technology-focused company impacting product lines roadmap. We have crafted a team of extraordinary people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.

  What you'll be doing:

  In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.

  As a member of our core CPU team, you'll own and be responsible for the verification of different parts in the CPU.

  Work closely with logic design and micro-architecture: understand and take part of uArch definitions.

  Find bugs, debug, and define fix options.

  What we need to see:

  A Bachelor’s Degree in Electrical Engineering, Computer Engineering or Computer Science, or equivalent experience.

  5+ years of experience in processor or other related high performance semiconductor designs.

  Formal Verification work experience, or other relevant Chip Design experience.

  Strong debugging and analytical skills.

  Strong communication and interpersonal skills are required along with the work in a dynamic, global team.

  NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and talented people in the world working for us. Are you creative and autonomous? Do you love the challenge of crafting the fastest and most power efficient chips in their class? If so, come join our CPU design team, we want to hear from you!

  NVIDIA is a Learning Machine

  NVIDIA pioneered accelerated computing to tackle challenges no one else can solve. Our work in AI and the metaverse is transforming the world's largest industries and profoundly impacting society.

  Learn more about NVIDIA .

Comments
Welcome to zdrecruit comments! Please keep conversations courteous and on-topic. To fosterproductive and respectful conversations, you may see comments from our Community Managers.
Sign up to post
Sort by
Show More Comments
SIMILAR JOBS
Team Member
Team Member We’re glad you’re here. Think about it – you and us? Sounds like it could be a match made in the meat heavens. If you’re here for: Discounted Curly Fries (and all our menu items for that
P07647UF - Assistant Professor of Teaching - Music
Minimum/Required Qualifications Doctoral level degree OR terminal degreein Music or related discipline. Demonstrable knowledge of the musictechnology industry, current equipment, and professional pra
Team Member
Team Member We’re glad you’re here. Think about it – you and us? Sounds like it could be a match made in the meat heavens. If you’re here for: Discounted Curly Fries (and all our menu items for that
Team Member
Team Member We’re glad you’re here. Think about it – you and us? Sounds like it could be a match made in the meat heavens. If you’re here for: Discounted Curly Fries (and all our menu items for that
Phlebotomist
At Labcorp we have a passion in helping people live happy and healthy lives. Every day we provide vital information that helps our clients and patients understand their health. If you are passionate
Maintenance Technician II (Carpenter/Mason/Painter)
Maintenance Technician II (Carpenter/Mason/Painter) Apply now (https://secure.dc4.pageuppeople.com/apply/822/gateway/default.aspx?c=apply&lJobID=521795&lJobSourceTypeID=801&sLanguage=en-u
Material Handler I
JOB REQUIREMENTS: Company Generac Power Systems Name Material HandlerI - Weekend Day (Plant) Req # 63983 Employment Type Full Time ShiftWeekend Day The Material Handler I will be responsible for all
Cook
Hot burgers, cold shakes, and little moments of magic right in the neighborhood. At SONIC, we do things a little differently. We find the fun, the moment of chill in the every-day. Working at SONIC,
Principal Member of Technical Staff
Job Description Building off our Cloud momentum, Oracle has formed a new organization - Oracle Health Applications & Infrastructure. This team focuses on product development and product strategy
Lead Machine Learning Engineer
is seeking a lead engineer to work in the machine learning (ML) and artificial intelligence (AI) domains for our Syracuse, NY corporate headquarters. The rapid advancement of deep learning continues
Copyright 2023-2025 - www.zdrecruit.com All Rights Reserved