Formal Verification Infra Development Engineer

NVIDIA is looking for outstanding candidates with knowledge of formal methods. The engineer will own the task of maintaining formal verification (FV) flow across Nvidia projects, maintaining the Nvidia assertion library as well as resolving issues related to FV with various design teams and tool related issues with vendors. He will also help drive FV for RTL units for next generation chip designs. Knowledge in Generative AI Solutions with expertise in training Large Language Models (LLMs) and implementing workflows based on Pretraining, Finetuning LLMs & Retrieval-Augmented Generation (RAG). This will involve the candidate having excellent communication skills, deep knowledge of aspects of Formal Verification as well as strong scripting skills.


What you will be doing:
+ Maintaining, improving and updating assertions library. Support for both simulation and FV.
+ Identifying key behaviors for verification of DUT and creating a verification plan.
+ Developing ver...