I've not made a post formally announcing this yet, so to update: I have taken a Senior Lecturer position at the Foundations Cluster in the School of Computing at the Australian National University. I am also looking for PhD students to work with me! Please see the advertisement for details.

I still retain an Honorary Fellow position at the University of Edinburgh. While I will miss my Edinburgh colleagues, I am very excited for this new opportunity, and I am already adjusting to living in Canberra well. I think it is one of the nicest cities in Australia to live in.