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
- Alkalmazotti jogviszony
- Általános munkarend
Elvárt technológiák
- C PYTHON DEBUGGING
Elvárások
- Angol középfok
- Pályakezdő/friss diplomás
- Főiskola

Állás elmentve

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

Responsibilities

Use of formal verification algorithms to formally prove correctness of complicated logic problems
Identification of key behaviors for verification to write clear testplans for complex designs
Implementation of testplans using innovative formal techniques
Driving tools to realize their best performance
Development of flow and script to automate and improve team efficiency
Collaboration 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 ability to understand complex RTL code quickly