We have a part-time (0.3) senior researcher position open in the Logic and Semantics Group of the Tallinn University of Technology, on program logics. https://candidate.recrur.com/public/jobad/en/e8217e2b-1 Start date 1 Sept 2024. The deadline for applications is 28 March 2024. Apply via the page linked above. These are the webpages of the university and the group: https://www.taltech.ee/ https://cs.ioc.ee/lsg/ For closer information about the position and the research environment (the group), please approach Tarmo Uustalu. 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>