Postdoc in AI-based formally verified code generation KTH Royal Institute of Technology in Sweden

Karlstad University is recruiting a doctoral student in Computer Science for the SPLAIM project, Security and Privacy of Locally-Run AI Models . The position is based at the Department of Mathematics and Computer Science , within the Privacy and Security (PriSec) research group , and focuses on the technical development of secure, private, and efficient local AI systems . The research topic is highly relevant to current work in artificial intelligence , cybersecurity , privacy-preserving systems...

Karlstad University is advertising a doctoral student position in Computer Science within the Privacy and Security (PriSec) research group at the Department of Mathematics and Computer Science. The position is part of SPLAIM ( Security and Privacy of Locally-Run AI Models ), a project funded by the Swedish Knowledge Foundation . The research focus is on secure, private, and efficient deployment of local large language models (LLMs) in real organisational and business environments. The doctoral p...

Postdoc in AI-native Wireless Networks at KTH Royal Institute of Technology, Sweden. This postdoctoral position sits at the intersection of artificial intelligence and wireless communications, with a focus on theory and algorithm development for AI-enhanced wireless networks and advanced AI technologies within networks. The project explores how wireless networks are becoming AI-native, including topics such as optimized deployment of AI models in networks, AI-based optimization of network perfor...

Postdoctoral opportunity under the Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellowship 2026 at the University of Greenwich , hosted by CS2 | Centre for Sustainable Cyber Security with Dr. Ehsan Nowroozi as Principal Investigator. The fellowship is open to researchers working in robust and adversarially resilient AI , privacy-preserving and secure machine learning , trustworthy and explainable AI , secure AI for next-generation networks (5G/6G) , and related topics in cybersecurity and ...

Postdoctoral Researcher in Reliable Evaluation of Generative AI (ZEGeKI) at the University of Mannheim , Germany. The Data and Web Science Group is seeking a highly motivated postdoc to work on generative AI , large language models , and evaluation methodologies . The project focuses on reliable evaluation of generative AI systems , including dynamic benchmark generation, benchmark leakage, data contamination, and evaluation robustness. This opportunity is aimed at researchers interested in cutt...