Sort by
Refine Your Search
-
Listed
-
Country
-
Field
-
close cooperation/mentoring with Prof. Dr. Herman Jungkunst and other institutions across Europe, e.g., Ghent University, Belgium or Agroscope, Switzerland. The NitroScope project aims to develop systemic
-
-Landau in close cooperation/mentoring with Prof. Dr. Herman Jungkunst and other institutions across Europe, e.g., Ghent University, Belgium or Agroscope, Switzerland. The NitroScope project aims to develop
-
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
-
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
-
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