Hybrid Formal Verification Engineer: Prove SoC Correctness

NVIDIA Corporation; Hinoba-an; Hybrid; PHP 600,000 - 1,000,000; Full time

Benefits offered by this job

Hybrid work model

Job summary

NVIDIA Corporation is seeking a Formal Verification Engineer to join our Hardware Engineering team. You will prove correctness of design blocks, IPs and SoC components using Formal Verification methods and prepare test plans to implement them.

Based in a hybrid environment with globally distributed teams, you will collaborate across design and verification groups to meet verification goals and drive performance and quality of results.

Qualifications

• B.Tech./M.Tech in Electrical Engineering, Computer Science or related fields with 2+ years of relevant experience.
• Strong analytical skills to tackle complex problems.
• Strong coding skills in languages such as C, Python, Perl or Tcl.
• Ability to communicate effectively and collaborate in a globally distributed team.

Responsibilities

• Prove correctness of design blocks, IPs and SoC components using Formal Verification methods.
• Prepare testplans and implement them using Formal verification techniques.
• Experiment with Formal tools and flows to drive performance and quality of results.
• Collaborate with other members of the design and verification teams to meet verification goals.

Skills

Analytical skills

Communication

Problem solving

Education

B.Tech./M.Tech in Electrical Eng or CS

Tools

C

Python

Perl

Tcl

Job description

NVIDIA Corporation is seeking a Formal Verification Engineer to join our Hardware Engineering team. You will prove correctness of design blocks, IPs and SoC components using Formal Verification methods and prepare test plans to implement them.

Based in a hybrid environment with globally distributed teams, you will collaborate across design and verification groups to meet verification goals and drive performance and quality of results.