中文 English

Infineon

The industrial doctorate at Infineon: Pursue a doctoral degree at a university and gain professional experience simultaneously – an ideal start for your career. Advance your research with us and profit from our vast network of doctoral candidates and the expertise of a university. Mentorship is handled by both professors and dedicated Infineon employees.

In SoC complex designs, design bugs often arise with the interaction between software and hardware, which result from differences in the way of thinking, terminology and work plans of hardware and software developers. In safety- and security-critical modules, these problems are particularly dangerous because failures in these mechanisms are difficult to detect. Formal methods are particularly well suited to finding seldom-observable errors, as they often occur in connection with the critical modules. Despite well-developed formal methods for HW and for SW, the verification of their integration has so far been little researched and is not commercially available. Therefore, there is a need for a methodology for HW/SW co-verification using formal methods.

The thesis will be written in cooperation with Technical University of Kaiserslautern and under the supervision of professor Wolfgang Kunz.

For additional details and most recent updates, hit “Apply for job”