Sort by
Refine Your Search
-
Federated Cloud Computing ( HCC ) We invite applications for a fully-funded 3-year PhD position on the topic of usable decentralization, i.e. on making distributed and federated cloud services accessible
-
distribution infrastructures, and heterogeneous networks and storage environments based on Cloud based services, CDNs and Edge Computing. This complex chain of delivery has negative implications
-
hardware; optimization techniques for high-performance multicore processors; innovative hardware solutions targeting cybersecurity resilience; leveraging AI and cloud technologies in EDA; edge computing and
-
, 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...
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
(cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming