Senior Chip Design Engineer, Formal Verification

We are seeking a Senior Chip Design Engineer, Formal Verification to join our NVIDIA Networking team. This role offers an exciting opportunity to be part of a dedicated Pre-Silicon design and verification team focusing on cutting-edge Switch and GPU technologies. As a member of our formal verification team, you will utilize state-of-the-art tools and methodologies to ensure design correctness and contribute to revolutionary AI technologies. Our team is at the forefront of delivering top-notch Chips solutions for various markets including HPC, AI infrastructures, data-center, network, and storage. Your responsibilities will include utilizing formal verification algorithms to prove the correctness of complex logic problems, collaborating on ambitious designs with the Pre-Silicon team, and contributing to the development of NVIDIA's next-generation core technology. You will play a key role in the AI revolution by working on advanced architecture projects. To be successful in this role, you should have a BSc in Electrical/Computer Engineering or MSc in Mathematics, along with at least 5 years of relevant experience in chip design (design/verification/formal). Strong analytical, logical reasoning, problem-solving, and debugging skills are essential. Effective communication, interpersonal skills, and a collaborative mindset are also required. Candidates with formal verification experience, a team-oriented approach, and knowledge of digital logic will have a competitive advantage. At NVIDIA, we value innovation, autonomy, and a passion for overcoming challenges. If you are a creative engineer looking to contribute to the future of HPC and data centers, we invite you to join our team. NVIDIA is dedicated to creating a diverse work environment and is proud to be an equal opportunity employer.,