Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Southern Denmark
- Aalborg University
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Copenhagen
- Aalborg Universitet
- Copenhagen Business School
- DTU Electro
- Danmarks Tekniske Universitet
- Technical University Of Denmark
- Technical University of Denmark (DTU)
- UNIVERSITY OF COPENHAGEN
- 3 more »
- « less
-
Field
-
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
-
is expected to start 1st of February 2026 or as soon as possible and will end 31st of December 2028. Job description The postdoc position is focused on understanding spatiotemporal current patterns
-
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
-
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
-
stakeholders, and FORM is a key founding player in CSlib’s steering and technical leadership . Who we are looking for We are looking for candidates who possess (or are nearing completion of) a PhD in Computer
-
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
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices