Reference: W2495
Salary: E13 (> 4000 Euro gross)
Duration: 3 years
Country/Territory: Germany
Organization: Saarland University
Project: SafeSecS
More information: Link
Contact: Jan Reineke <reineke@cs.uni-saarland.de>
As part of the ERC Advanced Grant "Abstractions for Safe and Secure HW/SW Systems" (https://cordis.europa.eu/project/id/101020415) I am looking for PhD students. These positions are fully-funded and available for an initial period of three years.
The recruited candidates are expected to investigate techniques for program analysis of security and/or real-time properties. We are particularly interested in microarchitectural security (cache side channels, Spectre, Meltdown, etc.) and timing predictability (cache and pipeline analysis) and have a track record of high-impact publications in this area (recent papers at CAV, POPL, PLDI, RTSS, S&P, CCS, USENIX Security, including paper awards at CCS 2023, S&P 2021, RTSS 2018, 2019, and 2023). We particularly welcome applicants with an interest in formal methods, such as abstract interpretation and model checking.
A brief overview of potential topics can be found here:
https://embedded.cs.uni-saarland.de/thesistopics.php
Please do not hesitate to contact Jan Reineke (reineke@cs.uni-saarland.de) with any questions.