Research Engineer - Robert Bosch GmbH, Corporate Research

At Bosch Corporate Research (2015-2022) I worked at the heart of safety-critical, software-intensive systems - architectures for highly automated driving and robotics.

I developed model-based methods for the semi-automatic safety assessment of complex systems, including the generation of fault trees (FTA) and FMEA from system models, and worked with formal methods, model checking, and contract-based design.

From 2019 to 2022 I was part of the Bosch Talent Pool management trainee program.