KTH Royal Institute of Technology invites highly motivated students 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).
Successful candidates will have the opportunity to investigate cutting-edge research topics, including but not limited to one of the following areas, System Security, Formal Verification, and Machine Learning in Security and Verification.