We are looking for a senior software engineer 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 develop software verification environments in C and C++, and use state-of-the-art Formal Verification tools and methodologies to mathematically prove the correctness of both software and hardware. As part of this startup-like team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious.

What you'll be doing:

• Use C/C++ and other tools and technologies to build software-based proofs for complex logical behaviors

• 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

• 5+ years of experience in software development

• 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 for 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 of HPC, data centers, and GPUs.