Job: Lectureship in Computer Science at Liverpool [Logic and Computation]