Description
NVIDIA is hiring a Senior Formal Verification Engineer for its Networking team to formally prove the correctness of complex logic in pre-silicon NIC designs. The role involves applying formal verification algorithms and methodologies, collaborating on next-generation core technologies, and advancing expertise in communication protocols and hardware implementations. Candidates need a BSc in Electrical or Computer Engineering, an MSc in Mathematics, or equivalent experience, along with at least five years of relevant experience and strong analytical, debugging, communication, and problem-solving skills.
