The School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology is seeking a highly motivated PhD student in Computer Science with a focus on formal verification, hardware/software security, and microarchitectural side-channel analysis.
The PhD student will work within the research project µVerif: Rigorous Security Analysis of Computer Microarchitecture, jointly supervised by Associate Professor Roberto Guanciale and Assistant Professor Hamed Nemati. The student will be part of both research groups and embedded in a strong research environment in system security, formal methods, and low-level software and hardware verification.
The project focuses on securing modern processor microarchitectures. Aggressive optimizations such as speculative and out-of-order execution, which significantly improve performance, introduce serious security vulnerabilities (e.g., Spectre-like attacks). These vulnerabilities break the traditional assumption that security properties verified at the software level hold on real hardware.
This project aims to bridge the gap between formal program analysis and security on real hardware by: Developing formal models of speculation and microarchitectural information flow; Automatically extracting security-relevant models from RTL; Evaluating the techniques on open-source RISC-V processor cores. The long-term goal is to enable scalable, rigorous, and hardware-relevant verification of security properties for real-world systems.
The PhD student is expected to:
Supervision: Main supervisor Roberto Guanciale, Co-supervisor Hamed Nemati
To be admitted to postgraduate education, the applicant must have basic eligibility in accordance with either of the following:
In addition to the above, there is also a mandatory requirement for English equivalent to English B/6.
In order to succeed as a doctoral student at KTH you need to be goal oriented and persevering in your work. During the selection process, candidates will be assessed upon their ability to:
After the qualification requirements, great emphasis will be placed on personal skills.
Target degree: Doctoral degree
Tagged as: Engineering, Physics
Doctoral Student In Production Systems Modelling Third-cycle subject: Production Engineering We invite applications for a PhD position in Production Engineering...
ApplyDoctoral Student In Molecular Genomics Third-cycle subject: Biotechnology We seek a highly motivated PhD candidate for a fully funded 4-year...
ApplyDoctoral Student In Visual Analytics Of Cyber-Physical Systems Third-cycle subject: computer science Problem: Cyber-physical systems (CPS) are inherently complex due...
ApplyDoctoral Student In Experimental Fluid Mechanics & Artificial Intelligence KTH Royal Institute of Technology, School of Engineering Sciences Project Description...
ApplyDoctoral Student In Reinforcement Learning In Agent-based Models Project description: Third-cycle subject: Transport Science Goal – to develop a dynamic...
ApplyDoctoral Student In Crystallization Of Critical Raw Materials Project description: Third-cycle subject: Chemical Engineering At the Department of Chemical Engineering...
ApplyPlease visit www.kth.se.
Don't forget to mention that you found the position on jobRxiv!
