Formal Verification Infra Development Engineer job opportunity at NVIDIA.

Home Jobs In India Tag: Job Formal Verification Infra Development Engineer position at NVIDIA


DatePosted 29 Days Ago bot
NVIDIA Formal Verification Infra Development Engineer
Experience: 3-years
Pattern: full-time
Country:
apply Apply Now
Salary:
Status:

Job

Copy Link Report
degreePhD
loacation India, Bengaluru, India
loacation India, Bengalu..........India

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 verification environment including environment assumptions, assertions and cover properties in context of the verification plan. Applying various FV techniques to proof correctness of digital designs. Developing scripts to automate the verification process. What we need to see: BS/MS/PhD in CS/CE/EE/Mathematics with minimum 3+ years of industry experience. Excellent command on scripting. Knowledge/Experience in formal verification techniques. Hands-on experience with HDLs such as Verilog / System Verilog. Preferable experience with Formal Verification Tools (eg. Jasper, IFV, SMV, SPIN)   #LI-Hybrid

Other Ai Matches

Senior ASIC Design Engineer, Memory Controller Applicants are expected to have a solid experience in handling Memory Controller related tasks
Implementation Methodology Engineer - GPU Applicants are expected to have a solid experience in handling Job related tasks
CPO Integration Engineer - LPU Packaging Applicants are expected to have a solid experience in handling Job related tasks
Principal Quantum Error Correction Research Scientist, Applied Research Applicants are expected to have a solid experience in handling Applied Research related tasks
System Software Engineer - Tegra Applicants are expected to have a solid experience in handling Job related tasks
AI Compiler Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Software Developer Applicants are expected to have a solid experience in handling Job related tasks
System Design Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior GenAI Engagement Lead, Partner Platforms Applicants are expected to have a solid experience in handling Partner Platforms related tasks
Senior Product Quality and Reliability Engineer Applicants are expected to have a solid experience in handling Job related tasks
Manager, MCU Firmware Applicants are expected to have a solid experience in handling MCU Firmware related tasks
Formal Verification Infra Development Engineer Applicants are expected to have a solid experience in handling Job related tasks
remote-jobserver Remote
Manager, Software Verification Applicants are expected to have a solid experience in handling Software Verification related tasks
Director, Technical Accounting Applicants are expected to have a solid experience in handling Technical Accounting related tasks
Senior PR Manager, AI Software Applicants are expected to have a solid experience in handling AI Software related tasks
Senior ASIC Engineer - Networking Chip Design Applicants are expected to have a solid experience in handling Job related tasks
Sales Development Specialist Applicants are expected to have a solid experience in handling Job related tasks
Senior System Software Engineer, Networking Linux Kernel - DGX Cloud Applicants are expected to have a solid experience in handling Networking Linux Kernel - DGX Cloud related tasks
Senior Technical Program Manager, Metropolis Manufacturing Applicants are expected to have a solid experience in handling Metropolis Manufacturing related tasks
Manager, Large Language Model Inference Applicants are expected to have a solid experience in handling Large Language Model Inference related tasks
Tools and Development Engineer Applicants are expected to have a solid experience in handling Job related tasks
System Architect Applicants are expected to have a solid experience in handling Job related tasks
Senior ASIC Verification Engineer Applicants are expected to have a solid experience in handling Job related tasks