Formal Verification Engineer

Work on NVIDIA’s Pre-Silicon design and verification team for groundbreaking NIC technologies. Use formal verification algorithms and state-of-the-art formal methodologies to prove complex logic correctness and support next-generation hardware designs. Collaborate closely with the pre-silicon team while expanding expertise in communication protocols and hardware implementations that enable high-bandwidth Ethernet and InfiniBand NICs.