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.
Stelios Tsampas (May 22 2025 at 12:34):The Department of Mathematics and Computer Science at the University of Southern Denmark (SDU), Odense, invites applications for a fully funded PhD position in the foundations of programming languages. The positions have a duration of 3 years for candidates who have completed a relevant MSc degree, or 4 years for candidates who have completed 1 year of relevant MSc studies. The hired candidates will be part of the section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP), an active, dynamic research group that combines bold research and a collaborative spirit.
The proposed starting time is August or September 2025. The appointment will be made at a competitive salary and will follow the PhD study programme at the Faculty of Science.
Application deadline: 18 June 2025 at 23:59 hours local Danish time
The position is funded by the German Research Foundation (DFG), project “Abstract Techniques for Programming Languages and Secure Compilation”. The project builds on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD candidate, who will contribute to the development and implementation of the theory, and to applications in secure compilation. Further details on the planned research are summarized in the technical part of the project proposal, which can be provided by request.
The Department of Mathematics and Computer Science is an inclusive and international working environment with state-of-the-art facilities and strong traditions for collaboration across sections, departments, and faculties, and with other educational institutions, municipalities, and industries. The degrees offered by the department include BSc, MSc, and PhD degrees in computer science, a BSc in artificial intelligence, and an MSc degree in data science.
The project is supervised by myself and Marco Peressotti (peressotti@sdu.dk). For any inquiries, you can drop me an email at stelios@imada.sdu.dk or send me a message.
Click here to apply.