Sort by
Refine Your Search
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including security by design, blockchain
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
The Department of Computer Science at The Technical Faculty of IT and Design invites applications for PhD stipends on one of the topics of Digital Twins and Hierarchical Multi-Agent Safe
-
infrastructure and by providing support and expertise to researchers. The key areas of the center are High Performance Computing (HPC), Cloud Services, Data Analytics and Data Management Services. We assist a
-
programming, including embedded systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including
-
.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and
-
renewable power generation, energy system control, drives systems, power electronics, power engineering, system integration, transmission, distribution & storage systems, energy efficiency, energy policies
-
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