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

[Elaine Pimentel]

Hi everyone,

I am pleased 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://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=17162&nPostingTargetId=41738&id=Q1KFK026203F3VBQBLO8M8M07&LG=UK&languageSelect=UK&mask=ext

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

Please let me know if you want more info.

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://sites.google.com/site/elainepimentel/

UCL Computer Science is an Athena Swan Gold award winner for gender equality

UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024

-----------------------------------