Research Fellow in Logic & Information

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

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.

Customer advert reference: B04-06711

Advert information