Mentor Graphics

Job Duties:

The candidate will be in charge of research and development of algorithms, techniques, and software for formal verification of hardware/software and safety critical systems, will be part of the Calypto SLEC team at Mentor. The candidate will also interact with other product groups at member to identify and develop unique formal verification requirements that arise, such as C++ high level synthesis, RTL power optimizations, etc.

for more details, hit “Apply for job”