Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Southern Denmark
- Nature Careers
- Aarhus University
- Technical University of Denmark
- Aalborg Universitet
- Aalborg University
- 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
-
11 Dec 2025 Job Information Organisation/Company Aalborg Universitet Department The Technical Faculty of IT and Design, Department of Computer Science, Section for Distributed, Embedded and
-
are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods
-
and design challenges that address the following (but are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description SDU Robotics , part of the Maersk Mc-Kinney Moller Institute
-
. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour, including, e.g., LLM misbehaviour and memorization in LLMs
-
12 Dec 2025 Job Information Organisation/Company Aalborg Universitet Department The Technical Faculty of IT and Design, Department of Computer Science, Section for Copenhagen Research Field
-
programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum
-
offered within the Marie Skłodowska-Curie QuNEST – Quantum Enhanced Optical Communication Network Security doctoral training program (https://qunest.eu ) and the Villum Investigator Program: Power-Efficient
-
Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems ; Human