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 take part in the AI revolution led by NVIDIA, working on cutting edge architecture.
What we need to see:
BSc in Electrical/Computer Engineering or MSc in Mathematics
5+ years of relevant experience in chip design field (design/verification/formal).
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
Team Player
Knowledge of digital logic