Software Formal Verification Engineer

We are looking for a Formal Verification Engineer for our NVIDIA Networking team!Here's an exciting chance to become a valued member of our exceptional verification team, collaborating with cutting-edge, in-house developed technology in Formal Verification for SW & FW code. You'll be joining a team that's growing rapidly, working closely with various SW and FW teams, and playing a crucial role in shaping NVIDIA's leading-edge technology. Our team leverages state-of-the-art Formal verification methodologies to ensure the correctness of functions and logic. By working with us, you'll gain exposure to a wide array of innovative designs and technologies. This role offers a dynamic, ambitious, and educational work environment, providing you with the opportunity to utilize new in-house technology that continually evolves while contributing to the definition of groundbreaking methodologies.What you'll be doing:In this position, you will use formal verification algorithms to formally prove the correctness of complicated logic problemsHelp to develop our Formal Verification for SW methodologies and toolsYou will work on ambitious designs along with our FW and SW teams and take part in developing the next generation of NVIDIA's core technologyWhat we need to see:BSc or equivalent experience in Electrical/Computer Engineering/Computer Science2+ years of relevant experienceExcellent analytical, logical reasoning, and problem-solving skillsStrong debugging and analytical skillsStrong communication and interpersonal skills are requiredFluent in EnglishWays to stand out from the crowd:Formal verification work experienceKnowledge of digital logicExperience in FW or SWNVIDIA 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