Sort by
Refine Your Search
-
various types of quantum hardware, for e.g. information processing (such as distributed quantum computing), sensing, and for quantum security. It is expected to be highly advantageous if such a quantum
-
development and deep understanding of infrastructure complexity. However, the shift towards a more distributed, renewable, and digital energy system introduces new dynamics and challenge existing paradigms
-
of teaching hours per subject per calendar year, as well as any related examination work, for the past three years. Additionally, you should provide an overview of the amount of supervisions, distributed by
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing