Formal Verification Engineer - New College Graduate

Jelentkezés a cégnél

Cég neve

NVIDIA Hungary Kft.
Munkavégzés helye

Budapest

Munkaidő, foglalkoztatás jellege
- Teljes munkaidő
- Általános munkarend
Elvárások
- Nem kell nyelvtudás
- Pályakezdő/friss diplomás
- Egyetem

Teljes munkaidő Általános munkarend

Nem kell nyelvtudás Pályakezdő/friss diplomás Egyetem

Állás elmentve

A hirdetést eltávolítottuk a mentett állásai közül.

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

Requirements

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

Nice-to-have

Knowledge of formal verification methodologies, techniques and tools like Jasper, Hands-on experience with Verilog / System Verilog HDLs, SVA assertions, and able to understand complex RTL code quickly

What we offer

Competitive salaries
Generous benefits package

Company info

NVIDIA is the world leader in accelerated computing. NVIDIA pioneered accelerated computing to tackle challenges no one else can solve. Our work in AI and digital twins is transforming the world's largest industries and profoundly impacting society.