Two open PhD Position @ Bosch Corporate Research
In the corporate research division ,,Software Intensive Systems" of the Bosch Group in Stuttgart Area, Germany, there are currently two open PhD positions in the same line of research:
1) Verification of Hybrid Systems:
Many innovations in Bosch products and services are based on embedded software that interacts with the physical world through sensors and actuators. The correctness of the resulting system -- software interacting with its environment -- is a chief success factor.
A suitable model for such software-intensive systems is the hybrid system model that comprises continuous and discrete aspects of a system. Hybrid systems allow us to model, specify and verify diverse system classes such as several industrial robots, e.g., for autonomous land mower and production assistants. Thus, verification of hybrid systems is a crucial technology. The goal of this dissertation is to transfer current research results into an industrial environment with additional constraints such as scalability and integration into a development process.
- Modeling (for verification) of industrial systems as hybrid systems
- Analysis of different verification methods based on modeled examples
- Development of techniques and methods for scalability and usability of verification methods
- Connection of formal verification methods to approaches for testing and runtime monitoring
More details under: www.bosch-career.com, reference: DE00274028
2) Robotic Systems and Software Engineering
Bosch offers a number of products and services in robotics, from the Indego lawn mower to the APAS production assistant. Our robotics researchers explore several new application areas and are actively involved in a couple of public funded research projects. Of course, this research is also closely connected to the extensive R&D activities on automated and autonomous driving.
Amongst others, we are investigating model-based methods for robotics software development, including behavioral aspects such as decision making and task planning. Model-based methods not only increase the development efficiency but also allow for early verification and thus improve the quality of robotic systems. A crucial question thereby is how to treat the inherent uncertainty of sensor data in such methods.
- Advance and apply academic research results on modeling robotic system behavior with uncertainty-aware logics.
- Develop a domain-specific reasoning framework for robotic applications at Bosch.
- Research algorithmic foundations for automatic generation of reasoning engines for real-time decision making in a safety-critical context.
More details: www.bosch-career.com, reference: DE00296136