Mentor Graphics

Company: Mentor Graphics
Job Title:   R&D Software Engineer (C++, IC verification) – 6967
Job Location: USA – CA – Fremont
Job Category: R&D/Software Engineering

 

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.

Job Qualifications:

The candidate will possess either a Masters with 3+ years of experience, or Ph. D in computer science, electrical engineering or related fields, and have an understanding or expertise in formal verification, particularly as it relates to hardware/software verification, safety critical systems, such as those used in the automotive domain, etc. The candidate should also possess strong skills in algorithms and data structures, C/C++ programming, scripting languages, program/data flow analysis, word-level and bit-level solvers, etc. Knowledge of compilers and behavioral synthesis is a plus.

For more info, hit “Apply for job”