Senior Formal Verification Engineer

tional, dynamic and ambitious.

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.

• Knowledge of digital logic

NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.