Nvidia Formal Verification Student 

Israel, South District, Beer Sheva 

799673100

What you'll be doing:

• In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.

• Work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.

What we need to see:

• Student during BSc in Electrical/Computer Engineering

• Excellent analytical, logical reasoning and problem-solving skills.

• Strong debugging and analytical skills.

• Solid communication and interpersonal skills are required.