Home
/
Comprehensive
/
Senior Formal Verification Engineer, CPU
Senior Formal Verification Engineer, CPU-May 2024
Tel Aviv
May 2, 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
Energy Technologist - Remote
Your Impact: Our People & Places Solutions business – reinforces our drive to improve the lives of people everywhere and epitomizes the why of what we do – the tremendous positive impact and valu
INFORMATION TECHNOLOGY SPECIALIST (INFOSEC/SYSADMIN)
Summary This is a public notice flyer to notify interested applicants of anticipated vacancies. Applications will not be accepted through this flyer. Interested applicants must follow the directions
Crew Member
Crew Member (24002556) Description CULTIVATING A BETTER WORLD Food served fast doesn't have to be a typical fast food experience. Chipotle has always done things differently, both in and out of our r
Correctional Officer Hiring Event, up to $7,000 bonus
Onsite hiring event January11th, 9am-12noon at:NCWorks Career Center403 Conover Station SEConover, NC 28613828-466-5535 THIS POSITION IS ELIGIBLE FOR THE APPLICANT REFERRAL BONUSNOW ELIGIBLE FOR A $7
Child/Adolescent Psychiatrist
Psychiatrist: We are looking for a Psychiatrist to join our Behavioral Health group. Bozeman Health is opening a new 12-bed adult inpatient psychiatry unit and looking for two psychiatrists to staff
Transition Manager - Remote US
Transition Manager - Remote US Job ID 149746 Posted 05-Jan-2024 Service line GWS Segment Role type Full-time Areas of Interest Customer Service, Project Management, Transaction Management Location(s)
Crew Member
Crew Member (24002891) Description CULTIVATING A BETTER WORLD Food served fast doesn't have to be a typical fast food experience. Chipotle has always done things differently, both in and out of our r
Irrigation Technician
At BrightView, the best teams are created and maintained here. If you are searching for your next fulfilling career, picture yourself on a best-in-class team where you can grow to be your brightest.
Trades Specialist - Pittsburgh
Trades Specialist – Pittsburgh, United States – virtual Come build something that matters. It takes great people to achieve greatness. People with a sense of purpose and integrity. People with a rele
Maintenance Mechanic - 159401
Maintenance Mechanic - 159401 DESCRIPTION/RESPONSIBILITIES:* $23.50-$29.50 per hour!* Competitive Benefits - Medical, Dental, Vision, 401K & Vacation* Growth and professional development opportun
Copyright 2023-2025 - www.zdrecruit.com All Rights Reserved