Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Southern Denmark
- Aalborg University
- Technical University of Denmark
- Nature Careers
- Aarhus University
- Aalborg Universitet
- Copenhagen Business School
- DTU Electro
- Danmarks Tekniske Universitet
- Technical University Of Denmark
- Technical University of Denmark (DTU)
- UNIVERSITY OF COPENHAGEN
- University of Copenhagen
- 3 more »
- « less
-
Field
-
currently one of the important technologies in the field of LAIs. The common approach to manipulate the performance of LAI suspensions release rate relies on changing particle size distribution
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems
-
) further study of the method, to understand how the 13C signal develops and is distributed in the plant, and how sampling can be optimized to show such effects of even shorter dry periods, typical
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
Engineering Cybersecurity Distributed and Cloud Computing Operating Systems and Digital Infrastructure AI for Software Engineering Software Engineering for Internet of Things Software Engineering for Cyber
-
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
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
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