-
is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods that allow
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
-
reflected in our team's composition spanning humanities, engineering, natural, and social sciences. We are united by applying systems-based approaches. Major responsibilities The doctoral student's main
-
group and the project The Müller Research Group focuses on the physical chemistry and materials science of organic semiconductors, polymer blends and composites, and develops new plastic materials