Software Formal Verification Engineer

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
  
  

• 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
  
  

• Formal verification work experience
• Knowledge of digital logic
• Experience in FW or SW