Last Date: Tuesday, December 31, 2024

Supervisors: Dr Nicola Gambino

Competition Funded PhD Project (Students Worldwide)

The University of Manchester    Department of Mathematics

About the Project

The project seeks to develop further the study of models of Linear Logic and Differential Linear Logic using ideas and techniques of Category Theory. An important aspect of the project is that it explores models based on two-dimensional categories, notably bicategories. This builds on a series of papers by the supervisor and his collaborators. For further details, please contact the supervisor.

Eligibility

Applicants should have, or expect to achieve, at least a 2.1 honours degree or a master’s (or international equivalent) in a relevant science or engineering related discipline.

Funding

At The University of Manchester, we offer a range of scholarships, studentships and awards at university, faculty and department level, to support both UK and overseas postgraduate researchers.

For more information, visit our funding page or search our funding database for specific scholarships, studentships and awards you may be eligible for.

Please note that we are due to have details of new Faculty Funding (Dean’s Doctoral Scholarship, President’s Doctoral Scholarship and Bicentenary Awards) released in the next few weeks. If you are interested in applying for this funding, your supervisor will need to nominate you.

Before you apply

We strongly recommend that you consult some of the relevant literature and contact the supervisor for this project contact the supervisor for this project before you apply. Please include details of your current level of study, academic background and any relevant experience and include a paragraph about your motivation to study this PhD project.

How to apply

You will need to submit an online application through our website here: https://uom.link/pgr-apply-2425

When you apply, you will be asked to upload the following supporting documents:

•  Final Transcript and certificates of all awarded university level qualifications

•  Interim Transcript of any university level qualifications in progress

•  CV

•  You will be asked to supply contact details for two referees on the application form (please make sure that the contact email you provide is an official university/ work email address as we may need to verify the reference)

•  Supporting statement: A one or two page statement outlining your motivation to pursue postgraduate research and why you want to undertake postgraduate research at Manchester, any relevant research or work experience, the key findings of your previous research experience, and techniques and skills you’ve developed. (This is mandatory for all applicants and the application will be put on hold without it.

•  English Language certificate (if applicable). If you require an English qualification to study in the UK, you can apply now and send this in at a later date.

If you have any queries regarding making an application please contact our admissions team FSE.doctoralacademy.admissions@manchester.ac.uk

Equality, diversity and inclusion is fundamental to the success of The University of Manchester, and is at the heart of all of our activities. We know that diversity strengthens our research community, leading to enhanced research creativity, productivity and quality, and societal and economic impact. We actively encourage applicants from diverse career paths and backgrounds and from all sections of the community, regardless of age, disability, ethnicity, gender, gender expression, sexual orientation and transgender status.

We also support applications from those returning from a career break or other roles. We consider offering flexible study arrangements (including part-time: 50%, 60% or 80%, depending on the project/funder).

Funding Notes

At The University of Manchester, we offer a range of scholarships, studentships and awards at university, faculty and department level, to support both UK and overseas postgraduate researchers.

For more information, visit our funding page or search our funding database for specific scholarships, studentships and awards you may be eligible for.

Please note that we are due to have details of new Faculty Funding (Dean’s Doctoral Scholarship, President’s Doctoral Scholarship and Bicentenary Awards) released in the next few weeks. If you are interested in applying for this funding, your supervisor will need to nominate you.

References

P.-A. Mellies, Categorical Semantics of Linear Logic, 2009.

Available from https://www.irif.fr/~mellies/mpri/mpri-ens/biblio/categorical-semantics-of-linear-logic.pdf.

[2] M. Fiore, N. Gambino, and M. Hyland, Monoidal bicategories, differential linear logic, and analytic functors, 2024. Available from https://arxiv.org/abs/2405.05774