Logic List Mailing Archive

Lectureship or Associate Professorship in programming principles, logic, & verification, London (England), Deadline: 7 May 2021

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 <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/ <http://pplv.cs.ucl.ac.uk/welcome/>). 
The PPLV group (see http://pplv.cs.ucl.ac.uk/welcome/ 
<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 
<mailto:d.pym@ucl.ac.uk>, http://www.cs.ucl.ac.uk/staff/D.Pym/ 
<http://www.cs.ucl.ac.uk/staff/D.Pym/>) or Steve Hailes (Head of Computer 
Science, s.hailes@ucl.ac.uk <mailto:s.hailes@ucl.ac.uk>)

Closing date: 7 May 2021

UCL: www.ucl.ac.uk <http://www.ucl.ac.uk/>

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

PPLV: http://pplv.cs.ucl.ac.uk/welcome/ 
<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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam