Finding the best job has never been easier
Share
What you'll be doing:
In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.
You will work on developing new formal verification methodologies and tactics.
What we need to see:
BSc in Electrical/Computer Engineering or MSc in Mathematics.
1+ years of relevant experience.
Excellent analytical, logical reasoning and problem-solving skills.
Strong debugging and analytical skills.
Strong communication and interpersonal skills are required.
Ways to stand out from the crowd:
Formal verification work experience.
Knowledge of digital logic.
These jobs might be a good fit