Postdoctoral Researcher in Control-Flow Equivalence for Systems and Security Leiden University in Netherlands

PhD Position in Formal Languages, Category Theory, and Type Theory at Delft University of Technology (TU Delft) This PhD project explores how to systematically derive formal languages from their mathematical semantics, with correctness proofs connecting syntax and meaning. The research sits at the intersection of computer science and mathematics , especially category theory , type theory , programming language semantics , and formal verification using the Agda proof assistant. You will work unde...

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

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

Tilburg University is recruiting a PhD-Researcher and Lecturer in Cybersecurity within the Department of Intelligent Systems (DIS) at the Tilburg School of Humanities and Digital Sciences . This is a 6-year position combining 60% PhD research and 40% teaching . The research focus is on artificial intelligence for cybersecurity , with applications such as intrusion detection , vulnerability detection , and root-cause analysis . The project will be shaped jointly by the successful candidate and th...