[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
