You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Pawel Sobocinski (Sep 25 2023 at 08:36):There is a 2 year postdoc position available in my group, involving collaboration with https://cyber.ee and https://guardtime.com, as part of https://chess-eu.cs.ut.ee.
Application deadline: 31 October 2023
Starting: 1 January 2024
Application website: https://candidate.recrur.com/public/jobad/EN/781baee0-6
The general idea is to use string diagrams as a resource-aware calculus to describe cryptographic and cybersecurity protocols in a principled way, at different levels of abstraction, taking inspiration from the work of Broadbent and @Martti Karvonen https://arxiv.org/abs/2208.13232.