Mentor, A Siemens Business R&D Software Engineer (C++, IC verification) - 6967 in Fremont, California

Position Description

R&D Software Engineer (C++, IC verification) - 6967

Work Location US - CA, Fremont

Req ID 6967

Job Category R&D/Software Engineering

Apply Now

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.

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.