"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. A job description and person specification can be accessed at the bottom of this page. To apply for the vacancy please click on the ‘Apply Now’ button below. If you have any queries regarding the vacancy or the application process, please contact James Brotherston (j.brotherston@ucl.ac.uk) or David Pym (d.pym@ucl.ac.uk).

What we offer

As well as the exciting opportunities this role presents, we also offer some great benefits some of which are below: 41 Days holiday: 27 days annual leave 8 bank holiday and 6 closure days (pro rata for part time staff). Additional 5 days’ annual leave purchase scheme (pro rata for part time staff). Cycle to work scheme and season ticket loan. On-Site nursery Enhanced maternity, paternity and adoption pay. Employee assistance programme: Staff Support Service. Discounted medical insurance. Visit https://www.ucl.ac.uk/work-at-ucl/reward-and-benefits to find out more.

Our commitment to Equality, Diversity and Inclusion

As London's Global University, we know diversity fosters creativity and innovation, and we want our community to represent the diversity of the world's talent. We are committed to equality of opportunity, to being fair and inclusive, and to being a place where we all belong. We therefore particularly encourage applications from candidates who are likely to be underrepresented in UCL’s workforce. These include people from Black, Asian and ethnic minority backgrounds; disabled people; LGBTQI+ people; and for our Grade 9 and 10 roles, women. You can read more about our commitment to Equality, Diversity and Inclusion here: https://www.ucl.ac.uk/equality-diversity-inclusion/. Our department holds an Athena SWAN Gold award, in recognition of our commitment and demonstrable impact in advancing gender equality.