[DMANET] Faculty position at UCL, London

Open position at UCL: Lecturer or Associate Professor, Programming Principles, Logic, and Verification (PPLV).

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/). The PPLV group (see http://pplv.cs.ucl.ac.uk/welcome/) conducts world-leading research broadly in logic, semantics, and program and systems verification and their supporting mathematical and conceptual fields.

The group contributes to the delivery of undergraduate and graduate programs and supports a lively and diverse community of PhD students and post-doctoral researchers. The group has very substantial research funding from a variety of sources and has excellent connections with the world-class tech community that is located close-by in London and elsewhere. For this position, we particularly welcome applications from candidates with interests in the theory or practice of program and systems verification.

UCL is an elite institution that attracts students and staff of the highest quality. London is one of the world's greatest cities and offers excellent quality of life. We seek world-class talent; candidates must have an outstanding research track record. UCL's 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.

Candidates will be expected to carry out research, teaching, and administrative duties within the Department, especially in the areas of Programming Principles, Logic, and Verification.


Enquiries: David Pym (Head of PPLV, d.pym@ucl.ac.uk, http://www.cs.ucl.ac.uk/staff/D.Pym/) or Steve Hailes (Head of Computer Science, s.hailes@ucl.ac.uk)

Closing date: 7 May 2021

UCL: www.ucl.ac.uk

UCL CS: https://www.ucl.ac.uk/computer-science/

PPLV: http://pplv.cs.ucl.ac.uk/welcome/

UCL HR page, including how to apply:

https://atsv7.wcn.co.uk/search_engine/jobs.cgi?amNvZGU9MTg3NTE5MSZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY194dHJhNTA0MTE3OC41MF81MDQxMTc4PTkyNzg2JnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0&jcode=1875191&vt_template=966&owner=5041178&ownertype=fair&brand_id=0&vac_xtra5041178.50_5041178=92786&vactype=1271&posting_code=224



**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************