Home
/
Comprehensive
/
Senior Formal Verification Engineer, CPU
Senior Formal Verification Engineer, CPU-November 2024
Tel Aviv
Nov 23, 2024
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
CDL-A - Dedicated nighttime truck driver
Dedicated nighttime truck driver Average pay: $1,290-$1,420 weekly Home time: Multiple Times Per Week Experience: 3 months or greater CDL experience Overview Haul flooring tile in dry van trailers. 10
Maintenance Technician
Job Title: Maintenance Technician Job Description As a fully competent Industrial Maintenance Technician, you will perform repairs, preventive and corrective maintenance on production machinery, plant
shift supervisor - Store# 10932, WEEDPATCH HWY & HWY 58
Join us and inspire with every cup! At Starbucks, it’s all about connection. People are at the heart of who we are, especially the people that are a part of our store team. We connect with each other,
barista - Store# 02310, ANDERSONVILLE
Join us and inspire with every cup! At Starbucks, it’s all about connection. People are at the heart of who we are, especially the people that are a part of our store team. We connect with each other,
Electrical Power Systems - Software Engineer
Job Description Summary Responsible for advanced Power Systems Application software development and successful delivery of assigned functions to meet corporate project/product commitments. The respons
System Administrator 2-IT
Job Description Daily Job Duties: Hardware installation and decommission of enterprise servers and cabling infrastructure. Fix and repair of data center hardware and networking infrastructure within S
Client Relationship Specialist - Bellevue, WA
Your opportunity At Schwab, you’re empowered to make an impact on your career. Here, innovative thought meets creative problem solving, helping us “challenge the status quo” and transform the finance
Medical Historian – Full Time
By clicking the “Apply” button, I understand that my employment application process with Takeda will commence and that the information I provide in my application will be processed in line with Takeda
Full-Time Store Associate
As a Store Associate, you’ll be responsible for merchandising and stocking product, cashiering, and cleaning to keep the store looking its best. You’ll enhance the customer shopping experience by work
System Administrator 2-IT
Job Description Daily Job Duties: Hardware installation and decommission of enterprise servers and cabling infrastructure. Fix and repair of data center hardware and networking infrastructure within S
Copyright 2023-2024 - www.zdrecruit.com All Rights Reserved