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.