Home
/
Comprehensive
/
Senior Formal Verification Engineer, CPU
Senior Formal Verification Engineer, CPU-March 2024
Tel Aviv
Mar 28, 2026
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
SECURITY SHIFT MANAGER-Casino Security
SECURITY SHIFT MANAGER-Casino Security Casino, 5485 Casino Way, El Cajon, California, United States of America Req #13976 Friday, January 19, 2024 The ancestors of the Sycuan Band of the Kumeyaay Nat
Senior Electrical Engineer
Reference #: PIT 23119Middough Inc. - 'TOP WORKPLACES' winner!Senior Electrical Engineer - Position and ResponsibilitiesAs a Senior Electrical Engineer with Middough, you will be a part of a project
Principal Member of Technical Staff
Job Description As a Principal Software Engineer, you will be responsible for helping design, build, test, deploy and operate highly scalable services for Oracle Cloud Infrastructure’s Cryptography d
Compliance Manager
Summary: Facebook Reality Labs is building computing devices for the future. This includes Oculus and Portal products, AR and VR software and hardware, voice assistant technology, and research and de
Senior Financial Analyst
Senior Financial Analyst Location: Boston, MA/ Hybrid Duration: 3 months Description: Bachelor's Degree in Accounting or Finance or related field required. 3-5 years of financial experience is requir
Medical Assistant
Description Introduction Do you want to join an organization that invests in you as a Medical Assistant ? At CareNow, you come first. HCA Healthcare has committed up to $300 million in programs to su
HR Coordinator
Allied Universal®, North America’s leading security and facility services company, provides rewarding careers that give you a sense of purpose. While working in a dynamic, diverse and inclusive workp
Administrative Assistant to Vice President - Economic Development
Administrative Assistant to Vice President - Economic Development ...
Sr. Software Engineer
Description SAIC is interested in hiring a Senior Software Engineer for one of our programs supporting the FDA. SAIC supports the FDA and its scientists and medical reviewers in Scientific Computing
Donor Center Technician
Do you want to join an international team working to improve the future of healthcare? Do you want to improve the lives of millions of people? Grifols is a global healthcare company which, since its
Copyright 2023-2026 - www.zdrecruit.com All Rights Reserved