Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Newcastle University
- Aarhus University
- Blekinge Institute of Technology
- Delft University of Technology (TU Delft)
- Luxembourg Institute of Science and Technology
- Monash University
- NTNU - Norwegian University of Science and Technology
- Queensland University of Technology
- Technical University of Munich
- Umeå University
- University of Exeter
- University of Southern Denmark (SDU)
- 2 more »
- « less
-
Field
-
research has focused on improving the performance, efficiency, and autonomy of such systems, their empirical security assessment remains underdeveloped, representing a growing and critical gap. Recent
-
skills and an interest in proofs and prototypes. The successful candidate joins the Cryptography and AI Security Lab at Newcastle University Number Of Awards 1 Start Date January 2027 Award Duration 3.5
-
) that drives innovation for the economy and society in Luxembourg and beyond. With cutting-edge expertise in Natural, Built, Industrial environments, Space, AI, Security and defence technologies. LIST bridges
-
Phd Studentship in Computer Science: Empirical Security Assessment of AI Decision Engines in Cyber-Physical Systems Award Summary 100% home fees covered, and a minimum tax-free annual living
-
The always-on, safety-critical nature of air traffic control raises rich and exciting challenges for machine learning and AI. The University of Exeter in partnership with NATS, the UK’s main air
-
are creating the quantum future, because we believe that quantum technologies can be a game changer in many societal and economic sectors, including health, agriculture and safety. Have a look at our video and
-
, for applications such as quantum-secure and post-quantum cryptography, and leakage- and tamper-resilient cryptography. It is supervised by Asst. Prof. Mustafa Khairallah. The research is expected to include a
-
, programming languages, and security. The targeted starting period is late autumn 2026, with room for flexibility. The application requirements are detailed at the end of this advertisement. About FORM FORM
-
of critical infrastructure in a rapidly changing security environment. The project is carried out with an accompanying PhD project in geotechnics that will focus on propagation of pressure waves in the ground
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus