-
This Postdoc position gives you a unique opportunity to further develop your skills and knowledge in sensors. You will collaborate with researchers from both academia and industry working in a multidisciplinary research environment. Join us to design and develop sensor devices for different...
-
limited to): compositional contract-based design, compositional correct-by-design methods, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under
-
and materials science of organic semiconductors, polymer blends and composites, and develops new plastic materials for use in the fields of wearable electronics and energy technology. All research is
-
. Information about the division and the department The Müller Research Group focuses on the physical chemistry and materials science of organic semiconductors, polymer blends and composites, and develops new
-
reflected in our team's composition spanning humanities, engineering, natural, and social sciences. We are united by applying systems-based approaches. Major responsibilities The main responsibility involves
-
formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, compositional correct-by-design methods