
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

<div class="">The Department of Computer Science at University College London (UCL, <a href="https://www.ucl.ac.uk" class="">https://www.ucl.ac.uk</a>) invites applications for a </div>

faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification <br class="">

PPLV, <a href="http://pplv.cs.ucl.ac.uk/welcome/" class="">http://pplv.cs.ucl.ac.uk/welcome/</a>). Our interests span theory and practice, including logic, semantics, language design, <br class="">

program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving.  <br class="">

<br class="">

We seek world-class talent; candidates must have an outstanding research track record.<br class="">

<br class="">

UCL faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality <br class="">

undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the <br class="">

management of their department and the College. <br class="">

<br class="">

If you have any queries regarding the vacancy or the application process, please contact <br class="">

Prof. David Pym (Head of PPLV, <a href="mailto:d.pym@ucl.ac.uk" class="">d.pym@ucl.ac.uk</a>) and/or Prof. John Shawe-Taylor <br class="">

(Head of Department, <a href="mailto:j.shawe-taylor@ucl.ac.uk" class="">j.shawe-taylor@ucl.ac.uk</a>).<br class="">

<br class="">

The closing date is 28 February 2019. <br class="">

<br class="">

For full details and to apply, please visit the following UCL website: <br class="">

<br class="">

<a href="https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTc4NDY1MCZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0" class="">https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTc4NDY1MCZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0</a>

</body>

</html>