Formal Verification Engineer
NVIDIA
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