Postdoctoral Fellowship (11) at KTH Royal Institute of Technology, Stockholm, Sweden

We are looking for a postdoctoral fellow to develop and improve models and codes for assessment of the liquid source term during severe accident (SA) of LWR systems. In particular, research will include assessment of the characteristics of the containment water pool by system code, thermodynamic and kinetic aspects of Cs and Sr chemistry including model development and its implementation to the system codes.  This project is contributing to the larger EU project SOCRATES which addresses the critical gaps in understanding of the liquid source term during SA and offers innovative solutions to mitigate and monitor the release of radionuclides into the environment.

The Division of Network and Systems Engineering at KTH Royal Institute of Technology invites applications for a postdoctoral research position funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). We are seeking a highly motivated and talented researcher with a strong background in formal methods for security, focusing on either formal verification of security protocols or secure compilation, to join our dynamic research group.

The ideal candidate will have expertise in formal methods and at least one of the following: verification of security and cryptographic protocols, symbolic and computational security analysis, or compiler correctness and preservation of security properties. Experience with proof assistants and automated verification tools (e.g., Coq, Isabelle/HOL, Tamarin, ProVerif) and SMT solvers is highly desirable and will be considered an advantage.

In addition to leading their own research projects, the successful candidate will work on developing analysis frameworks to evaluate and prove security properties of protocols and programs, and to establish end-to-end guarantees across the compilation chain. This includes contributing to novel research ideas, developing scalable tools, and collaborating with other researchers within the group and external partners.

Our growing research group currently consists of 4 PhD students, 2 postdocs, and 1 assistant professor, and has produced models, theories, and tools that have been published in several top-tier conferences (CAV’20, CCS’23, ISCA’22, SP’24, CSF’25). We are funded by several agencies and companies, including WALP, Intel, and Amazon.

We are looking for a well-motivated postdoctoral researcher to join the Body-centric Operating System (BOS) project, funded by the Swedish Foundation for Strategic Research (SSF). The BOS project aims to enable next-generation body-centric computing applications that integrate on-body and in-body sensors with embedded platforms and edge or cloud resources.

In particular, the researcher will contribute to the development of EEG-based brain-computer interface (BCI) technologies. The objective is to design methods for decoding human motor intent and to integrate these capabilities into a demonstrator, where brain activity will be combined with other body signals to control assistive systems such as bionic/robotic hand prototypes. The work will involve the development of deep learning methods for multi-channel EEG time-series analysis, as well as research on representation learning and continual learning for subject-specific adaptation. The position also includes work on model compression and optimization for deployment on resource-constrained hardware, in close collaboration with other BOS partners.

The researcher will also engage in empirical research involving EEG data collection and analysis, software development, and cross-disciplinary collaboration with researchers in robotics, embedded systems, networking, and neuroscience. The position may also involve supervision of students and participation in project coordination and dissemination activities. Candidates should have a strong background in machine learning and signal processing. Demonstrated interest in brain-computer interfaces and/or robotics is highly desirable.

We invite applications for post-doctoral research positions with the Secure Systems Group (SSG) group at EECS/SCS. We are looking for highly motivated individuals with a very strong background and interest in systems security and privacy. Successful candidates will contribute to one of our research areas. Our goal is to provide the environment for the successful candidate to mature into an independent academic at the end of the two-year postdoc stint. In addition to leading their own research projects, the successful candidate will also gain experience in student supervision and mentoring.  In close cooperation with Prof. N. Asokan and Prof. Panos Papadimitratos.

SSG designs, builds, and analyzes trustworthy systems. Our research agenda covers a gamut of security and privacy problems, both from an offensive as well as a defensive perspective especially along two themes: “Platform security and application”s and “Machine learning and security/privacy”. SSG comes to KTH with Prof. Asokan, who will be joining KTH as a Wallenberg Guest Professor in 2026, has led numerous projects in Europe and Canada, with significant industry and academic collaborations.  You can see past SSG activities at https://ssg-research.github.io/.

We invite applications for post-doctoral research positions with the Secure Systems Group (SSG) group at EECS/SCS. We are looking for highly motivated individuals with a very strong background and interest in systems security and privacy. Successful candidates will contribute to one of our research areas especially along two themes: “Platform security and application”s and “Machine learning and security/privacy”. Our goal is to provide the environment for the successful candidate to mature into an independent academic at the end of the two-year postdoc stint. In addition to leading their own research projects, the successful candidate will also gain experience in student supervision and mentoring.  In close cooperation with Prof. N. Asokan and Prof. Panos Papadimitratos.

SSG designs, builds, and analyzes trustworthy systems. Our research agenda covers a gamut of security and privacy problems, both from an offensive as well as a defensive perspective. SSG comes to KTH with Prof. Asokan, who will be joining KTH as a Wallenberg Guest Professor in 2026, has led numerous projects in Europe and Canada, with significant industry and academic collaborations. 

The Department of Mathematics at KTH invites applications for a two-year postdoctoral position in random matrix theory and high-dimensional statistics, in close collaboration with Assoc. Prof. Johannes Heiny. The research project aims at understanding phase transitions and universality for spectral statistics of random matrices and their applications in high-dimensional statistics, machine learning and probability theory.

The Department of Mathematics at KTH offers a high-class, active research environment within a broad spectrum of mathematical fields in both pure and applied mathematics, including random matrix theory, discrete geometry, combinatorics, topology, the mathematical foundations for data and AI, and mathematical statistics. A wide range of training opportunities for further qualification is provided. Up to 20% of the position may include teaching or supervision duties.

The research group headed by Emma Lundberg is connected to KTH and located at SciLifeLab in Stockholm. Our research is focused on cell biology, spatial proteiomics and machine learning for bioimage analysis. The aim is to understand how human proteins are distributed in time and space, how this affects various cellular processes, and how changes in protein localization may contribute to disease processes. 

The group is responsible for the subcellular part of the Human Protein Atlas (HPA); a large research program based in Sweden that been systematically mapping the localization of human proteins in cells, tissues and organs during the past 20 years. For this project, we map the subcellular distribution of human proteins in cell lines using immunofluorescence (ICC-IF) and confocal microscopy. The research group is also applying the latest methods for highly multiplexed immunostaining of cells and tissues, and develops various tools for bioimage analysis, mostly using machine learning and AI-based models.

As a postdoc you will conduct research using various methods in cell-and molecular biology, but mainly cell culture, immunostaining od cells and tissues, confocal microscopy, and bioimage analysis. You will be involved in setting up a protocol for automated optical pooled screening (OPS) in the research group and use this method in your own research project. This project will revolve around the expression and distribution of metabolic enzymes, in close collaboration with the HPA team.

We are looking for someone with good collaborative- and communicational skills. At the same time, we prefer that you can work independently and take initiative. As a person, you are thorough and skilled in documenting your work accordingly, with an analytical mindset.

A smooth interaction between rail vehicles and track is crucial for the success of rail transportation ranging from heavy haul freight trains to high-speed passenger trains. Main issues are running safety, ride comfort and wheel-rail damage. In the ongoing research programme Europe´s Rail these aspects are fundamental and also in focus for the present postdoc position. KTH has a long collaboration with Trafikverket and others on vehicle-track interaction topics, not least in a European context. You will be involved in projects where multibody dynamics simulation of vehicle-track interaction, emanating from wheel-rail interaction and including traction and braking, is the main research tool.