-
technology. The PhD student position is funded by WASP (see below) via the project High-Confidence Transformer-Based Compilation of Partially Ambiguous Programs. Read more about the project: https
-
at least one of these areas and will be part of our topological data analysis group. The position is financed by WASP program with collaboration with the mathematics department at KTH. Wallenberg AI
-
on the modelling, prediction and planning of motions with applications to assistive technologies and robotics. This position is part of a WASP-HS Networking Excellence Project (Netx) involving Umeå University
-
. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty
-
, Ericsson, and Scania. A major part of the research is conducted within the framework of the Wallenberg AI, Autonomous Systems and Software Program (WASP, https://wasp-sweden.org/) . We have a large academic
-
position funded by Wallenberg AI, Autonomous Systems and Software Program (WASP). We are seeking a highly motivated researcher with a strong background in systems security and formal verification to join our
-
for the detection of cyber-physical attacks, within the framework of a new WASP-project. The Division of Decision and Control Systems and the Division of Network and Systems Engineering conduct fundamental research
-
(Department of Computer Science) at KTH, Stockholm. The position is part of a collaboration combining the expertise of the two groups (Edström and Herman) with financing from WISE and WASP . You will use
-
with a strong background in system security, formal verification, and/or machine learning to apply for two PhD positions, funded by Wallenberg AI, Autonomous Systems and Software Program (WASP