Back to search results

PhD Informatics Studentship: Categorical Semantics of Deep Inference Formalisms

University of Sussex

Qualification Type: PhD
Location: Sussex, Falmer
Funding for: UK Students, EU Students, International Students
Funding amount: £18,662 per year
Hours: Full Time
Placed On: 23rd November 2023
Closes: 15th January 2024
 

Location: Brighton

Funding description: For 3.5 years, you will receive a tax-free stipend at a standard rate of £18,662 per year and your fees will be waived (at the UK, EU, or International rate). In addition, to a one-off Research and Training Support Grant of £2,000.

A 3.5 year PhD studentship in the department of Informatics under the supervision of Dr Alessio Santamaria. Available for April and September 2024 entry. 

Deep Inference is a methodology for designing formal proof systems that generalise Gentzen’s formalisms of sequent calculus and natural deduction. In a Deep Inference formalism one is allowed to apply logical rules to connectives that are arbitrarily deep inside a formula, instead of just the main connective, hence the name “deep inference”. From this simple concept stem several consequences, here are a few: 

  1. Proofs can be composed using the same connectives that build the formulae.
  2. Structural rules can be reduced, without loss of information, to an atomic form.
  3. We can extract from a proof a graph, called “atomic flow”, which discards the connectives and only keeps track of the atoms, from their creation to their destruction. The compositional nature of deep inference proofs makes category theory a natural setting for an algebraic semantics of these proofs. In particular, atomic flows are reminiscent of string diagrams for monoidal categories. Another operation for deep inference proofs that is being currently developed is substitution of proofs into others, as a generalisation of the usual notion of substitution of a formula inside the atom occurrences of another. From the categorical point of view, in very simple cases, this looks like horizontal composition of natural and extranatural transformations. For more details about deep inference, see http://alessio.guglielmi.name/res/cos/

Eligibility

The stipend is available to: UK / EU / Overseas.

The fee waiver is available to: UK / EU / Overseas. 

Eligible candidates will have an upper second-class (2:1) undergraduate degree or above, in Computer Science or Mathematics and a strong interest in logic and/or category theory. 

How to apply

Apply via the postgraduate application system for a full time PhD in Informatics.

Please upload a personal statement detailing your research interests and background, a copy of your degree transcripts and certificates, English-language test (if required) and two academic references. 

For guidance on the application process, please see here

Please clearly state on your application form that you are applying for the Categorical Semantics of Deep Inference formalisms studentship, under the supervision of Dr Alessio Santamaria. 

Contact us

For project specific enquiries, please email Dr Alessio Santamaria: a.santamaria@sussex.ac.uk

For general application enquiries, please email phd.informatics@sussex.ac.uk.

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

PhD tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
 
More PhDs from University of Sussex

Show all PhDs for this organisation …

More PhDs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge