Lecturer/Senior Lecturer in Computer Science; Formal Methods and Logic (University of New South Wales School of Computer Science and Engineering)