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

Postdoctoral research position at Delft University of Technology (TU Delft) in the Programming Languages group , Department of Software Technology, working on the interface between category theory , computer proof assistants , and computer algebra systems . The project aims to connect a proof assistant such as Rocq, Lean, or Agda with CAP (Categories, Algorithms, Programming) , a software system for computational category theory implemented in GAP and part of the homalg project. The goal is to m...

Postdoc opportunity in algebraic graph theory and applications at Eindhoven University of Technology (TU/e) in the Netherlands, within the Algebraic Combinatorics group in the Department of Mathematics and Computer Science. The project focuses on spectral graph theory and its interaction with related areas such as extremal graph theory and coding theory . The successful candidate will conduct scientific research on these topics and may contribute a small amount of time to educational tasks. This...

PhD opening in probabilistic and extremal combinatorics at the University of Amsterdam , embedded in the Discrete Mathematics and Quantum Information (DMQI) group at the Korteweg-de Vries Institute for Mathematics (KdVI) , Faculty of Science. The project focuses on independent, curiosity-driven research in combinatorics, with qualitative links to structural graph theory , discrete probability , and algorithms . The main theme is a systematic study of combinatorial optimisation objectives and pha...