Dear all, I am currently advertising a 3 year EPSRC postdoctoral position at the University of Birmingham with the stated topic of semantics-direct compiler construction. The project is in collaboration with Graham Hutton at the University of Nottingham. We are mainly interested in the semantic aspects of this problem, rather than the engineering details. In particular I am interested in abstract machines and string diagrams, used in the tradition of interaction nets. However, a postdoc who is interested in industrial applications also will have the option of an internship at the Huawei Edinburgh Programming Languages Laboratory which I lead. In making the appointment I will favour a strong and independent-minded candidate, rather than strict alignment with the project topic. I would be immensely grateful if you could forward this to any potential candidates whom you think might fit this profile. More details and application instructions are here: https://www.jobs.ac.uk/job/DIE133/research-fellow but feel free to contact me directly as well. The following tutorial paper gives quite a lot of relevant background information for this project https://arxiv.org/abs/2305.18945. Best wishes Dan 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>