Sort by
Refine Your Search
-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
fundamental and applied research within verification and model checking, embedded and cyber-physical systems, data-intensive systems, AI, planning, networks, programming theory, and security. Applications span
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up to 14 m/s and high turbulence). Tasks: Independent and cooperative qualification through scientific
-
environments shall be performed. Subsequently weather-and turbulence-related limit values shall be formulated and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis
-
for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project “Contracts for Control System Design”, funded by
-
. David Marlevi, Prof. Ulf Hedin, and Dr. Ljubica Matic to improve stroke risk prediction for patients with carotid atherosclerosis using a multidisciplinary combination of data-driven imaging
-
well as topics in phylogenetics. This project will involve working closely with experimentalists, and will be co-supervised by Prof Gerald McInerney and Dr Daniel Sheward, who have expertise in virology and