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