The Compositionality Group (https://compose.ioc.ee/) at TalTech is recruiting PhD students. We are seeking candidates for **up to four fully funded PhD positions** in one of the following research areas: - process theory for security protocols and cryptography (Pawel Sobocinski, Amar Hadzihasanovic) - Markov categories and probabilistic symbolic logic (Pawel Sobocinski, Fosco Loregian) - quantum topological fault tolerance and higher-dimensional diagrams (Amar Hadzihasanovic, Pawel Sobocinski) - categorical approaches to formal language theory (Fosco Loregian, Pawel Sobocinski) The group offers an attractive and stimulating working environment, with an active and growing community of researchers in in the Compositionality Group as well as in the closely adjacent Logic and Semantics Group (https://cs.ioc.ee/lsg/) group led by Tarmo Uustalu. PhD studentships are salaried positions for 4 years. PhD students are paid a taxable gross salary of 1828 EUR/month (~1450 EUR/month after taxes), topped up with a tax-free stipend of 500 EUR/month. This ensures a good standard of living in Estonia and includes insurance by the national health system. The expected start time is autumn 2024. To apply, you should hold an MSc degree (or equivalent) in Computer Science, Mathematics or a closely related field. Please send a motivation letter together with your CV, and topic of interest to Pawel Sobocinski (pasobo@taltech.ee) by **14 April 2024**. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>