[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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, [email protected],
http://www.cs.ucl.ac.uk/staff/D.Pym/) or Steve Hailes (Head of Computer
Science, [email protected])
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
