Formal Verification Engineer

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 problemsHelp develop our Software Formal Verification methodologies and toolsYou will work on ambitious designs along with our Firmware and Software teams and take part in developing the next generation of NVIDIA's core technologyWhat we need to see:BSc in Computer Engineering/Computer Science/Mathematics or equivalent4+ years of experience in SoftwareExcellent analytical, logical reasoning, and problem-solving skillsStrong communication and interpersonal skillsFluent in English Ways to stand out from the crowd:Background in architecture simulatorsExperience in firmware / embedded systemsExperience in Formal Verification in softwareHands-on experience applying AI in a professional environmentNVIDIA 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