PhD Position in Formal Methods for Concurrent Cryptographic Protocols Vrije Universiteit Amsterdam in Netherlands

University of Melbourne is advertising a Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow position in the Faculty of Engineering and Information Technology, based in Parkville, Melbourne, Australia . The project focuses on secure containment for AI agents atop seL4 , with work in formal methods , automated reasoning , interactive theorem proving , formal verification , and AI-assisted verification . The successful candidate will contribute to designing and verifying seL4-b...

Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols at the Faculty of Science, Department of Computer Science, in Amsterdam, Netherlands . The project focuses on using formal methods to develop systematic ways to describe concurrent cryptographic protocols and reason about their security. The successful candidate will conduct research on formal reasoning principles for protocol security, contribute to dissemination activities such a...

Professor Gautam Srivastava at Brandon University is recruiting for a two-year postdoctoral position starting September 2026 in cybersecurity , AI security , and adversarial machine learning . The research focus includes runtime system behaviour , attack/defense co-evolution , and the deployment of AI systems , with an emphasis on work that connects foundations, systems, and real-world deployment. This is a strong fit for researchers interested in security and privacy, machine learning security,...

PhD position at Delft University of Technology (TU Delft) in the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS). The project is titled “6G-Native Distributed Intelligence for Physical AI” and sits within the Dutch Future Network Services (FNS) flagship project. The research focuses on 6G , distributed intelligence , AI/ML , edge computing , cloud computing , and resource-aware network orchestration for Physical AI . Topics include collaborative and split inference, a...

TU Delft is advertising a PhD position in 6G resilience planning within the Dutch Future Network Services (FNS) flagship project. The project sits at the intersection of computer science , electrical engineering , AI/ML , and mobile communications , with a focus on building a risk profiling and resilience advisory system for next-generation 6G networks. The research goal is to help network operators anticipate, quantify, and mitigate risks affecting 6G infrastructure and operations. The successf...