Description:

I am looking for a highly motivated postdoc researcher with a strong background in systems security and formal verification to join my research group.

Research Focus Areas: 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.

How to Apply:

Please follow this link to read more about the positions and to submit your application.

Description:

We invite highly motivated students with a strong background in system security, formal verification, and/or machine learning to apply for two fully-funded PhD positions in the Division of Network and Systems Engineering at KTH. Our dynamic research group is pushing the boundaries of secure and reliable systems, and we seek talented individuals to join our team.

Research Focus Areas: Successful candidates will have the opportunity to investigate cutting-edge research topics, including but not limited to one of the following areas. Applicants should submit a Research Statement (maximum of 2 pages) and clearly outline their research interests, motivation, and how their background aligns with one or more of the focus areas. Describe any prior research experience; expertise in more than one of these areas will be considered an advantage.

• System Security:
1. Microarchitecture security (e.g., side-channels attacks, hardware vulnerabilities)
2. System software security (operating systems, hypervisors, compilers)
3. Exploration of novel security architectures and defenses
• Formal Verification:
1. Low-level code security verification (proofs of functional correctness and security)
2. Security protocol verification (cryptographic protocols, distributed systems)
3. Development of scalable verification techniques and tools
• Machine Learning in Security and Verification:
1. Applying machine learning to enhance security analysis and formal verification of systems
2. Formal verification of machine learning models for security-critical applications
3. Developing robust and explainable machine learning models for security tasks

How to Apply:

Please follow this link to read more about the positions and to submit your application.