[TYPES/announce] PhD position in programming languages and security at Aarhus University

[Aslan Askarov]

Dear all,

We have one PhD position in programming languages and computer security in a project on mitigating side channels using formal methods. More details about the call is available at

https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/open-calls/august-2025/foundations-of-secure-resource-sharing*c207524__;Iw!!IBzWLUs!QcyHse4j_uXYPTe5TZUE6WFwGUigqzK0_yIS_OB7IQaaNBJce3ijqW8GSE_RdO0MNwiuOx9u7ogabJlSMsMktS0eKZrg$ .

Application deadline: August 1
-Aslan