Senior Formal Verification Engineer

Responsibilities

• 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 learn state of the art formal methodologies and advance your expertise in communication protocols and hardware implementations.
• What we need to see
• BSc in Electrical/Computer Engineering or MSc in Mathematics, or equivalent experience.
• 5+ 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

Languages