Mellanox Technologies is looking for a Formal Verification Engineer.
The relevant candidate will work on complicated and challenging logic problems, and will take part in developing next generations of Mellanox core technology.
Mellanox uses the best Formal technoligies and has the most advenced formal methodologies.
The work environment is versatile, educational, dynamic and challenging.
B.Sc. in Electrical/Computer Engineering or MSc/Phd in Mathematics
Experience with Formal Verification is an advantage.