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