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.
More Information
Application Details
- Organization DetailsNvidia
Recommended Comments
There are no comments to display.
Join the conversation
You are posting as a guest. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.