UCL: Lecturer/ Associate Prof. in Programming Principles, Logic, and Verification (PPLV)

UCL: Lecturer/ Associate Prof. in Programming Principles, Logic, and Verification (PPLV)

[David Pym]

[-- Attachment #1: Type: text/plain, Size: 3142 bytes --]


University College London  is seeking to appoint a Lecturer/ Associate Professor in Programming Principles, Logic, and Verification (PPLV).  Application deadline: 16 March 2026.

The post is in UCL Computer Science’s PPLV research group (Programming Principles, Logic, and Verification), in collaboration with UCL Philosophy, which together form a world-leading centre for research and teaching in logic and its applications. The main duties and responsibilities of the role are the following: to carry out and disseminate world-class research in the broad PPLV research areas; to support the delivery of the BA 'Philosophy & Computer Science' and the MASc 'Philosophy, Logic, and AI' degree programmes, and related teaching in the Department of Computer Science; and to support the general management of the Department’s activities.

Candidates should hold a PhD or equivalent degree in an area that is well-aligned with the interests of the PPLV group and appropriate for supporting the joint Philosophy and Computer Science degree programmes. Candidates should have an outstanding record of research and publication, together substantive experience of teaching and experience of obtaining funding for their work that is commensurate with their career so far. Lecturer - Grade 8 - £54,931 - £64,644, Associate Professor - Grade 9 - £68,284 - £76,244. A job description and person specification can be accessed at the link below.

To apply for the vacancy, please click on the ‘Apply Now’ button at the link below. Please ensure you attach your CV, a research statement, a teaching statement, and two samples of your writing (e.g., research papers). If you have any queries regarding the vacancy or the application process, please contact James Brotherston (j.brotherston@ucl.ac.uk<mailto:j.brotherston@ucl.ac.uk>) or David Pym d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>).

Here is the link for UCL’s page for the position:

https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=17162&nPostingTargetId=41738&id=Q1KFK026203F3VBQBLO8M8M07&LG=UK&languageSelect=UK&mask=ext<https://url.au.m.mimecastprotect.com/s/CwxdCGv0Z6f1NknV8CKfJIBi6q6?domain=ucl.ac.uk>


—
UCL & Institute of Philosophy, School of Advanced Study
University of London

david.pym@sas.ac.uk<mailto:david.pym@sas.ac.uk>
d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>
https://www.cantab.net/users/david.pym/<https://url.au.m.mimecastprotect.com/s/cj7WCJyBZ6tqWZO7nUGhvIy3-ed?domain=cantab.net/>


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 7168 bytes --]