[TYPES/announce] Job Opening: Lecturer/Associate Professor in Programming Principles, Logic, and Verification (PPLV)

[Elaine Pimentel]

Dear colleagues,

It is a pleasure to share that University College London (UCL) is now
accepting applications for the position of Lecturer/ Associate Professor in
Programming Principles, Logic, and Verification (PPLV). This is a great
opportunity to join a world-leading research university and contribute to
excellence in Logic applied to Computer Science.

Key details:
• Position: Lecturer/ Associate Professor in PPLV
• Department: Computer Science
• Location: London, UK
• Contract type: permanent
• Deadline for applications: 09-Mar-2026 (it will be extended)
• Role summary: The post is based in UCL Computer Science’s PPLV group, in
collaboration with UCL Philosophy, forming a leading centre for research
and teaching in logic and its applications. The role combines world-class
research in PPLV with teaching on the BA Philosophy and Computer Science
and the MASc Philosophy, Logic, and AI, alongside departmental service.
• How to apply: Visit the following site:

🔗
https://urldefense.com/v3/__https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=17162&nPostingTargetId=41738&id=Q1KFK026203F3VBQBLO8M8M07&LG=UK&languageSelect=UK&mask=ext__;!!IBzWLUs!TX3tOjEgI6KuD12u1li8Me2xgucJe0g_GAqhQpvRvW-_u4zn8V3BM3Zn5NK8LL0exQrulTmMN4rjWZ1XyTHfd29Q6rQVhBAmTpKdNKBP$ 

At UCL we are committed to inclusive excellence, and welcome applications
from diverse candidates.

If you have any queries regarding the vacancy or the application process,
please contact James Brotherston (j.brotherston at ucl.ac.uk) or David Pym
d.pym at ucl.ac.uk).

Best regards,
-- 
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Deputy Director of the Computer Science and Philosophy programme
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
URL: https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!TX3tOjEgI6KuD12u1li8Me2xgucJe0g_GAqhQpvRvW-_u4zn8V3BM3Zn5NK8LL0exQrulTmMN4rjWZ1XyTHfd29Q6rQVhBAmTnGh9Qr1$ 

UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!TX3tOjEgI6KuD12u1li8Me2xgucJe0g_GAqhQpvRvW-_u4zn8V3BM3Zn5NK8LL0exQrulTmMN4rjWZ1XyTHfd29Q6rQVhBAmTp4vS9AT$ >*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!TX3tOjEgI6KuD12u1li8Me2xgucJe0g_GAqhQpvRvW-_u4zn8V3BM3Zn5NK8LL0exQrulTmMN4rjWZ1XyTHfd29Q6rQVhBAmTjoRLlwE$ >*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!TX3tOjEgI6KuD12u1li8Me2xgucJe0g_GAqhQpvRvW-_u4zn8V3BM3Zn5NK8LL0exQrulTmMN4rjWZ1XyTHfd29Q6rQVhBAmTuwwCsi4$ >*
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260224/abf6d183/attachment.htm>