Job Description

Ref Number

B04-06711

Professional Expertise

Research and Research Support

Department

UCL BEAMS (B04)

Location

London

Working Pattern

Full time

Salary

43,981-52,586

Contract Type

Fixed-term

Working Type

Hybrid

Available for Secondment

No

Closing Date

06-Nov-2025

About us

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


This project forms part of a broader programme of research in proof-theoretic semantics based at UCL and in the Institute of Philosophy at the University of London's School of Advanced Study. The project involves aspects of philosophy, logic, and informatics.

About the role

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


Department of Computer Science, Programming Principles, Logic, and Verification Group, and Institute of Philosophy, School of Advanced Study, University of London The project will involve developing an inferentialist metaphysics of information, its logical realization in terms of proof-theoretic semantics, and consideration of applications in systems modelling. The results of this research are to be disseminated through oral presentations in seminars and at leading conferences, written publications in conference proceedings, written publications in leading journals, and other venues.


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 David Pym d.pym@ucl.ac.uk, https://www.cantab.net/users/david.pym/)

About you

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


The successful candidate will have a PhD in philosophical logic, research expertise in philosophical and mathematical logic, with specific experience, achievements, publications and interests in the following: base-extension semantics for modal and epistemic logics; situation theory; the metaphysics of information.



Appointment at Grade 7 is dependent upon a PhD award. If not yet awarded, the initial appointment will be at Grade 6B (39,148-41,833 per annum), with backdating to Grade 7 upon submission of PhD thesis.

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.