[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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....@ucl.ac.uk<mailto:d....@ucl.ac.uk>) and/or
Prof. John Shawe-Taylor
(Head of Department, j.shawe-tay...@ucl.ac.uk<mailto:j.shawe-tay...@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
