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

Á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 a progressive, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have crafted a team of extraordinary people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.