N

NVIDIA

Designs the chips and software that power AI

Formal Verification Engineer New Grad

Hardware Validation & TestingConfirmed live in the last 24 hours
Full-timeBudapest, HungaryHUF9.2M - HUF16MIn-person

About the Job

Requirements

  • A BS, MS, Ph.D., or equivalent experience in Computer Science, Computer Engineering, Electrical Engineering, or Mathematics.
  • Strong analytical and collaboration skills to solve complex problems.
  • Strong coding skills in C, Perl, Python, or another industry-standard scripting language.
  • Good debugging skills.
  • Excellent communication skills and the ability to collaborate effectively with members of a distributed team.

Responsibilities

  • Use formal verification algorithms to prove the correctness of complicated logic problems.
  • Identify key behaviors for verification and write clear test plans for complex designs.
  • Implement test plans using formal techniques.
  • Drive tools to achieve their best performance.
  • Develop flows and scripts to automate and improve team efficiency.
  • Collaborate with other teams to help produce bug-free silicon products.

Desired Qualifications

  • Knowledge of formal verification methodologies, techniques, and tools such as Jasper.
  • Hands-on experience with Verilog/SystemVerilog HDLs and SVA assertions, and the ability to understand complex RTL code quickly.

About the Company

NVIDIA

Designs the chips and software that power AI

NVIDIA designs the chips and software that power artificial intelligence and sells complete data center systems to cloud providers, AI labs, and other businesses, along with GeForce graphics cards for gamers. Its GPUs, chips that perform thousands of calculations at once, became the main hardware for AI after researchers used them to train the AlexNet image-recognition model in 2012. NVIDIA connects many GPUs with its own processors and networking gear into servers and rack-sized computers, and developers program them through its CUDA software. These systems bring in most of its sales, and it also makes chips for cars and robots. Jensen Huang co-founded NVIDIA in 1993, and it is based in Santa Clara, California.

Company size
10,001+
Company stage
IPO
Headquarters
Santa Clara, CA
Founded
1993

Recently Posted Jobs

Explore more opportunities at NVIDIA

See more jobs