Job Description
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 ...
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 ...