We are looking for a Formal Verification Engineer to join our tremendous team!

This is an exciting opportunity to join a Pre-Silicon design and verification team, working on groundbreaking Switch technologies. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies.

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 technology.

What we are looking for:

BSc in Electrical/Computer Engineering or MSc in Mathematics
Previous 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