-
. 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
-
feasibility. This is a stimulating position for candidates interested in interpretable AI, formal safety guarantees, and impactful research in sustainable mobility. Project overview The position focuses
-
to statistical security notions and formal methods is possible. One or two extended research visits are encouraged during the doctoral study. Project overview In Bounded Space Cryptography we are working with
-
technologies and their strategic integration in supply chain. are fluent in English, both in verbal and written communication. In addition to the formal qualifications, selection is also based on the performance