Logga in för att gå vidare till: Associate Senior Lecturer in Computer Science with focus on formal methods.