Postdoc position at KTH Royal Institute of Technology, under the supervision of WASP Assistant Professor Hamed Nemati.

Job description

The Division of Network and Systems Engineering at KTH invites applications for a postdoctoral research 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 research group. This position offers the opportunity to delve into cutting-edge research aimed at enhancing the security and reliability of modern systems.

The successful candidate will focus on one or more of the following research areas:

  • System Security: Investigate and address vulnerabilities at various system levels, including microarchitecture security (e.g., side-channel attacks, hardware vulnerabilities), system software security (operating systems, hypervisors, compilers) and design novel security architectures and defenses.
  • Formal Verification: Prove the functional correctness and security of low-level code, verify the security of protocols (cryptographic protocols, distributed systems) and advance the development of scalable verification techniques and tools.
View all positions
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more
Cookies settings
Privacy & Cookie policy
Privacy & Cookies policy
Cookie name Active
The WASP website uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:
  • permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
  • session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.
Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website,
Save settings
Cookies settings