中文 English

Siemens EDA | Mentor Graphics

The SLEC group at Siemens EDA is looking for Masters/PhD-student interns
for 2021. We work in two main areas: (i) hardware equivalence checking
of designs in C++/SystemC/RTL, where we have cutting edge commercial
tools; and (ii) verification of safety and security properties in
C++/SystemC/RTL designs. Potential R&D topics include: SMT solvers and
engines, model checking and equivalence checking of HW/SW designs, and
static analysis of programs. Internships typically occur over the
summer, and last for 12 weeks, but off-season internships and other
durations are possible as well. Selected candidates should be able to
work effectively in a remote setting.

For more & updated details, hit “Apply for job”