Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
an experience in technology-assisted monitoring or computational image analysis. Expected start date and duration of employment The position will start in June 2026, with exact starting date as agreed between
-
Job Description A fully funded 3-year PhD position is available at DTU Aqua, within the newly established project NOW-LUMP, funded by seabreak (https://www.aqua.dtu.dk/nyheder/stenbiderprojektet?id
-
the general study programme Wireless communication; as per May 1, 2026, or as soon as possible thereafter. The candidate will be based in Copenhagen at the CMI Section (Communication Media and Information
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
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
-
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
-
Are you interested in real-time distributed systems, IoT connectivity, and AI-driven automation? The Department of Electrical and Computer Engineering at Aarhus University invites applications for a
-
requirements and the general planning of the PhD study programme, please see DTU's rules for the PhD education . Assessment The assessment of the applicants will be made by Professor Peter Vilhelm Skov (DTU Aqua
-
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
-
. 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