- 
                
                
                often represented in large neural networks that are hard to analyze and whose decision processes cannot be interpreted by humans. To make this technology available without sacrificing safety concerns, we 
- 
                
                
                stage. This is a transport ship with kite-based propulsion and an additional diesel engine to bridge port trips and wind lulls. In this project, we develop with CargoKite a new type of collision avoidance 
- 
                
                
                , for example, the natural and engineering sciences or medicine Strong interdisciplinary exchange with the applied sciences, e.g., for model validation or the identification of relevant extensions Mathematical 
- 
                
                
                technology. Our pre-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is 
- 
                
                
                , christian.deppe@tum.de) Your qualifications ▪ Master’s or doctoral degree in electrical engineering, communications engineering, mathematics, physics (or similar) ▪ Interest in theoretical work with high practical 
- 
                
                
                units for air quality monitoring are urgently needed to preserve air quality, human health, and the environment. Current state-of-art commercial miniaturized gas sensors based on classical oxygen 
- 
                PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation roboticsapproaches for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair 
- 
                
                
                ) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering