Dear All, This is to let you know that the call for applications has now been published: https://www.unimi.it/en/node/54371 The deadline is 20 May 2026 at noon. Interviews will take place online on 10 June 2026. Best wishes, Gabriele Lobbia

< >< >< >< >< >< >< >< >< >< >< >< >< >< >< >< >< >< >< >< We are pleased to announce that a one-year postdoctoral position for early career researchers in the Logic Group at the University of Milan (Italy) will soon be available. The research group covers several areas of logic and category theory, including duality theory, categorical logic, categorical algebra and higher categories. We expect the official call to be published in April or May 2026, with interviews taking place in the first half of June.

We encourage all motivated early career researchers with experience in category theory, broadly understood, to apply. An interest in categorical logic and/or low-dimensional category theory would be advantageous, but is not essential. The successful candidate will work under the supervision of Luca Reggio and Gabriele Lobbia. Some additional information, including a brief description of potential research areas, is provided below. Please feel free to share this information with anyone who might be interested. Interested candidates can get in touch informally by writing to Luca Reggio (luca.reggio@unimi.it<mailto:luca.reggio@unimi.it>) or Gabriele Lobbia (gabriele.lobbia@unimi.it<mailto:gabriele.lobbia@unimi.it>). Best wishes, Gabriele and Luca ------------------------------------------- Salary: approximately €1,700 net per month Travel funds: €1,000 Start date: July 2026 at the earliest Duration: 12 months Eligibility: Candidates must have obtained their Master's degree (or equivalent) no more than six years ago. Title of the project: Categories in Logic and Algebra Brief description: The programme aims to contribute to ongoing projects applying categorical methods to logic and algebra. The two main areas of focus are: (1) developing geometric and homotopical tools for applications in resource-sensitive modal and first-order logics, and (2) solving open problems in three-dimensional algebra, such as defining and studying ring-like structures for bicategories. ------------------------------------------- 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/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>