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

About us:

We seek a full-time faculty member, at Lecturer or Associate Professor level depending on experience, to join UCL Computer Science’s Principles of Programming, Logic, and Verification (PPLV) research group. The appointed candidate will undertake original research in the PPLV group, and will also support in particular the delivery of two new degree programmes recently established jointly with the Department of Philosophy: a BA in Philosophy and Computer Science, and an MASc in Philosophy, Logic, and AI.

About the role:

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 and 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.

About you:

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.

To apply for the vacancy please follow the link below and click on the ‘Apply Now’ button. 

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 ([email protected]) or David Pym [email protected]).