The Department of Computer Science at University College London (UCL, https://www.ucl.ac.uk) invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification PPLV, http://pplv.cs.ucl.ac.uk/welcome/). Our interests span theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. We seek world-class talent; candidates must have an outstanding research track record. UCL faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the management of their department and the College. If you have any queries regarding the vacancy or the application process, please contact Prof. David Pym (Head of PPLV, d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>) and/or Prof. John Shawe-Taylor (Head of Department, j.shawe-taylor@ucl.ac.uk<mailto:j.shawe-taylor@ucl.ac.uk>). The closing date is 28 February 2019. For full details and to apply, please visit the following UCL website: https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTc4NDY1MCZ2dF90Z... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]