Formal Verification Engineer - New College Graduate

NVIDIA

Not specified; not specified; generous benefits py...
Bs/ms/ph.d. in cs, ce, ee, or mathematics
Strong coding skills in c, perl, python
Excellent debugging and analytical skills
You will use formal verification algorithms to formally prove the correctness of complicated logic problems for industry-leading GPUs

Job Summary

  • You will use formal verification algorithms to formally prove the correctness of complicated logic problems for industry-leading GPUs.
  • The role involves developing flows and scripts to automate processes and improve team efficiency while collaborating globally.
  • NVIDIA offers competitive salaries, a generous benefits package, and the opportunity to impact product lines ranging from consumer graphics to self-driving cars.

Matching Summary

You will use formal verification algorithms to formally prove the correctness of complicated logic problems for industry-leading GPUs.

Salary

Not specified; Not specified; Generous benefits package

Skills & Requirements

Must-have

  • BS/MS/Ph.D. in CS, CE, EE, or Mathematics
  • Strong coding skills in C, Perl, Python
  • Excellent debugging and analytical skills

Nice-to-have

  • Knowledge of formal verification methodologies
  • Experience with Jasper tools
  • Hands-on experience with Verilog/SystemVerilog
  • Ability to understand complex RTL code quickly

Key Requirements

  • BS/MS/Ph.D. or equivalent experience
  • Strong analytical and collaboration skills
  • Good debugging skills

Work Rights

Not specified

Tailored Resume

Cover Letter