[TYPES/announce] Faculty position in logic and verification at UCL

[Pym, David]

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 at ucl.ac.uk<mailto:d.pym at ucl.ac.uk>) and/or Prof. John Shawe-Taylor
(Head of Department, j.shawe-taylor at ucl.ac.uk<mailto:j.shawe-taylor at 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=amNvZGU9MTc4NDY1MCZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190115/697bba17/attachment.html>