Mentor, A Siemens Business R&D Software Engineer (C++, IC verification) - 6967 in Fremont, California
R&D Software Engineer (C++, IC verification) - 6967
Work Location US - CA, Fremont
Req ID 6967
Job Category R&D/Software Engineering
Company: Mentor Graphics
Job Title: R&D Software Engineer (C++, IC verification) - 6967
Job Location: USA – CA - Fremont
Job Category: R&D/Software Engineering
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.
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.
This position may require access to export-controlled technology. If an export license is required and Mentor Graphics elects to apply for such a license, then candidates must be approved and licensed by the applicable government authorities as a condition of employment.
All qualified applicants will receive consideration for employment without regard to race, sex, sexual orientation, gender expression or identity, color, religion, national origin, disability or protected veteran status.