We invite applications for a post-doctoral researcher position at the Fundamental Computing group of the University of Groningen, The Netherlands (www.rug.nl/fse/fc). The successful candidate will work together with Helle Hvid Hansen and Jorge A. Pérez and contribute to the group’s research activities on the formal specification and analysis of software systems (broadly construed). The duration of the position will be six months, but there are possibilities for an extension. While this is shorter than a typical postdoc appointment, we see this vacancy as offering an extended “visiting researcher” position. As such, it could be appealing for (young) scholars wishing to develop their own research agenda within a vibrant research environment and an internationally-oriented university and city. We warmly encourage applications from individuals with proven experience in any of the research areas covered by the Fundamental Computing group: modal logic, coalgebra, concurrency theory, type systems, programming languages, semantics, program logics, proof theory, exact algorithms. The starting date is negotiable, but preferably before April 1st, 2024. Submit your application until January 24, 23:59 (Dutch local time, CET) following the instructions detailed here: https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02... For informal inquiries about the vacancy, please contact Jorge A. Pérez, leader, Fundamental Computing group (<j.a.perez@rug.nl<mailto:j.a.perez@rug.nl>>). -- Helle Hvid Hansen Associate Professor Fundamental Computing Bernoulli Institute for Maths, CS and AI University of Groningen URL: https://www.rug.nl/staff/h.h.hansen/ Tel. +31 50 36 33939 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>