Expires on: 04/30/2024
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.
Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/Central European Summer Time).
Applications must include the following elements:
- CV including your relevant professional experience and knowledge.
- Application letter with a brief description of why you want to pursue research studies, about what your academic interests are and how they relate to your previous studies and future goals. (Maximum 2 pages long)
- Copies of diplomas and grades from previous university studies and certificates of fulfilled language requirements (see above). Translations into English or Swedish if the original document is not issued in one of these languages. Copies of originals must be certified.
- Representative publications or technical reports. For longer documents, please provide a summary (abstract) and a web link to the full text.
- Selected candidates should be able to provide contact information to two reference persons.