$ads={1}
We are looking for a Formal Verification Engineer for our NVIDIA Networking team!
Here's an exciting chance to become a valued member of our exceptional verification team, collaborating with cutting-edge, in-house developed technology in Formal Verification for SW & FW code. You'll be joining a team that's growing rapidly, working closely with various SW and FW teams, and playing a crucial role in shaping Nvidia's leading-edge technology. Our team leverages state-of-the-art Formal verification methodologies to ensure the correctness of functions and logic. By working with us, you'll gain exposure to a wide array of innovative designs and technologies. This role offers a dynamic, ambitious, and educational work environment, providing you with the opportunity to utilize new in-house technology that continually evolves while contributing to the definition of groundbreaking methodologies.
What you'll be doing:
-
In this position, you will use formal verification algorithms to formally prove the correctness of complicated logic problems
-
Help to develop our Formal Verification for SW methodologies and tools
-
You will work on ambitious designs along with our FW and SW teams and take part in developing the next generation of NVIDIA's core technology
What we need to see:
-
BSc or equivalent experience in Electrical/Computer Engineering/Computer Science
-
2+ years of relevant experience
-
Excellent analytical, logical reasoning, and problem-solving skills
-
Strong debugging and analytical skills
-
Strong communication and interpersonal skills are required
-
Fluent in English
Ways to stand out from the crowd:
-
Formal verification work experience
-
Knowledge of digital logic
-
Experience in FW or SW
NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative engineer who loves challenges? Come join our team and help us build the future HPC, data centers, and GPUs
$ads={2}
