[TYPES/announce] PhD position in Secure Software and Microarchitectures

[Roberto Guanciale]

The Division of Theoretical Computer Science, KTH Stockholm,
has a new opening for a PhD position on Secure Software and Microarchitectures.
We are looking for a candidate with a strong background and interest in security, formal methods, and software analysis. The successful candidate will join a WASP project on developing theories and models for information flow properties of computer architectures, solid formal justification for existing and new countermeasures, tools to analyse secure next generation software and hardware. 

The project focuses on developing methods to prevent vulnerabilities like Spectre. The security and effectiveness of existing countermeasures is unknown, since they are motivated by informal arguments. In fact, new vulnerabilities that exploit new microarchitecture features or corner cases easily circumvent the countermeasures. 

Application deadline: 2023-09-11
Detailed description: https://urldefense.com/v3/__https://kth.varbi.com/en/what:job/jobID:651770__;!!IBzWLUs!TbudLSaBu7-qumlOhQEm-BtaFEdGBVxsPFyD311jDuf1cN1JJZsemtFzHPRbVM5IHYbD-Qf-FoCZBK7symHPFm1ST6rln4Y$