About this role
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.