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

Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols within the Department of Computer Science, Faculty of Science. The project focuses on developing systematic formal reasoning principles to describe concurrent cryptographic protocols and analyze their security. This opportunity is centered on computer science , with strong links to mathematics , cryptography , security , functional programming , and proof assistants such as Haskell...

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...

Xi’an Jiaotong-Liverpool University (XJTLU) in China is advertising multiple postdoctoral positions in the Post-Quantum Cryptography Migration Interdisciplinary Lab (PQC-X) . The openings focus on post-quantum cryptography , multi-party computation , zero-knowledge proofs , and fully homomorphic encryption , with opportunities spanning design, analysis, implementation, and application. The lab is led by Prof. Jintai Ding and is building an internationally collaborative research environment with ...

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...

TU Delft is advertising a PhD position in Secure Multi-Stakeholder 6G Orchestration within the Faculty of Electrical Engineering, Mathematics and Computer Science. The project is part of the Dutch Future Network Services (FNS) flagship and focuses on the next generation of mobile networks, with an emphasis on 6G , network orchestration , security , trust management , and AI-driven network software . The research explores how 6G services can be placed, scaled, and migrated across devices, base st...