← All roles

Formal Verification Engineer - New College Graduate

NVIDIA· Engineer, Verification
Apply on company site
Budapest, Hungaryfull-timePosted 7mo ago

About the role

Formal Verification Engineer role in NVIDIA's Hardware team focused on formally proving the correctness of complex logic and RTL designs, with collaboration across distributed teams and opportunities across GPU/AI product lines.

Responsibilities

  • Use formal verification algorithms to formally prove the correctness of complicated logic problems
  • Identify key behaviors for verification to write clear testplans for complex designs
  • Implement testplans using innovative formal techniques
  • Drive tools to realize their best performance
  • Develop flow and script to automate and improve team efficiency
  • Collaborate with other teams to help produce bug free, outstanding silicon products

Qualifications

  • BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics
  • Strong analytical and collaboration skills to solve complex problems
  • Strong coding skills in C, Perl, Python or any other industry-standard scripting languages
  • Good debugging skills
  • Excellent communication skills, able to effectively collaborate and work with members of a distributed team

Skills

Nice to have:Formal verificationVerilog / SystemVerilog

Benefits

  • Competitive salaries
  • Generous benefits package
  • Opportunities to work on leading GPUs across consumer graphics to self-driving cars and AI
Last updated Jul 3, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA