Formal Verification Engineer
NVIDIA
Job Overview
Who's the hiring manager?
Sign up to PitchMeAI to discover the hiring manager's details for this job. We will also write them an intro email for you.

Job Description
About the Role
This is an exciting opportunity to join NVIDIA Networking team as a Formal Verification Engineer. You will be part of a hardworking Pre-Silicon design and verification team working on groundbreaking Switch technologies.
What You Will Be Doing
You will use formal verification algorithms to prove the correctness of complicated logic problems. You will collaborate with the Pre-Silicon team on ambitious designs and help develop the next generation of NVIDIA's core technology. Additionally, you will contribute to developing new formal verification methodologies and tactics.
What We Need To See
- BSc in Electrical/Computer Engineering or MSc in Mathematics
- 1+ years of experience
- Excellent analytical and problem-solving skills
- Strong debugging and analytical skills
- Strong communication and interpersonal skills
Ways To Stand Out
Experience in formal verification and knowledge of digital logic will set you apart.
Key Skills/Competency
- Formal Verification
- Pre-Silicon
- Design Verification
- Switch Technologies
- Digital Logic
- Algorithms
- Debugging
- Analytical Skills
- Interpersonal Communication
- Innovation
How to Get Hired at NVIDIA
- Research NVIDIA's culture: Understand values, mission, and recent projects.
- Customize your resume: Highlight formal verification and design skills.
- Emphasize technical expertise: Detail experience with verification algorithms.
- Prepare for interviews: Practice problem-solving and communication skills.
Frequently Asked Questions
Find answers to common questions about this job opportunity
Explore similar opportunities that match your background