echojobs.io
Login

NVIDIA

Formal Verification Infrastructure Development Engineer

Bengaluru, India
Search for More Jobs
Description

Formal Verification Infra Development Engineer

Location: India, Bengaluru

Time Type: Full time

Job Description

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

NVIDIA
NVIDIA

0 applies

0 views

There are more than 50,000 engineering jobs:

Subscribe to membership and unlock all jobs

Engineering Jobs

60,000+ jobs from 4,500+ well-funded companies

Updated Daily

New jobs are added every day as companies post them

Refined Search

Use filters like skill, location, etc to narrow results

Become a member

🥳🥳🥳 452 happy customers and counting...

Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.

To try it out

For active job seekers

For those who are passive looking

Cancel anytime

Frequently Asked Questions

  • We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
  • We've got over 200,000 jobs from 15,000+ vetted companies. No fake or sleazy jobs here!
  • We aggregate jobs from 15,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
  • We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
  • Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
  • Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
  • Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅

What Fellow Engineers Say