[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]) or David Pym
[email protected]).
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$
>*
-----------------------------------
