中文 English

Siemens EDA

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”