2 autonomous PhD positions at KTH Royal Institute of Technology

Phd students in System Security, Formal Verification and Machine Learning

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

Researcher in Graphical Models and Algebraic Statistics

or an agreed part of teaching not to exceed 20%.  The position is financed through the Wallenberg Autonomous Systems and Software Program (WASP). What we offer A position at a leading technical university that