It's been public for a while, but to announce properly: I am taking a Senior Lecturer position at @ANUComputing starting in mid-2024. Soon afterwards I will have some funded PhD studentships in lightweight formal methods. Please get in touch with me if this is interesting to you!