Software Formal Verification Engineer

We are looking for a Software Engineer or Computer Scientist for our NVIDIA Software Formal Verification team! This is an exciting opportunity to join a unique team dealing with cutting-edge Formal Verification technology for both software and hardware. Supporting NVIDIA Switch, NIC, and GPU technologies, we research and use state-of-the-art formal verification tools and methodologies to mathematically prove the correctness of both software and hardware. You will be joining a growing team, using both in-house and third-party technologies that keep developing, and assist in defining new methodologies. As part of this team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious.

What you'll be doing:

• In this position, you will use formal verification tools and methods to mathematically prove the correctness of complicated logic problems

• Help develop our Software Formal Verification methodologies and tools

• You will work on ambitious designs along with our Firmware and Software teams and take part in developing the next generation of NVIDIA's core technology

What we need to see:

• BSc in Computer Engineering/Computer Science/Mathematics or equivalent

• 4+ years of experience in Software

• Excellent analytical, logical reasoning, and problem-solving skills

• Strong communication and interpersonal skills

• Fluent in English

Ways to stand out from the crowd:

• Background in architecture simulators

• Experience in firmware / embedded systems

• Experience in Formal Verification in software

• Hands-on experience applying AI in a professional environment

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