Two PhD student positions at KTH Royal Institute of Technology.
About the position
We invite 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.
Supervision: Prof. Rolf Stadler and assistant Prof. Hamed Nemati