Back to search results

PhD Studentship - Quantitative Logics and Complexity Theory

University of Sheffield - Computer Science

Qualification Type: PhD
Location: Sheffield
Funding for: UK Students, International Students
Funding amount: £19,237
Hours: Full Time
Placed On: 28th August 2024
Closes: 30th September 2024

About the project

Logics are prominent in creating understanding of different computation paradigms, and as frameworks for the theory of verification and databases. The area of descriptive complexity theory uses logics to obtain machine independent characterisations of complexity classes, and logics like linear temporal logic are used in program verification to specify desired properties of runs of computations. Recently, many areas of computer science have taken a quantitative turn. The goal of this project is to study quantitative properties of systems by developing quantitative logics and related complexity theory. Please see www.virtema.fi for my recent works in this direction.

The concrete direction the student takes is flexible. One exciting direction is to develop the theory of quantitative hyperproperties which can express, e.g., fairness properties such as a request is granted in 75% of the time, and to study the related expressivity and complexity issues:

drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.60

dl.acm.org/doi/10.1145/3531130.3533360

Another direction is to develop logics for understanding the limitations of neural networks as an abstract computation device:

doi.org/10.48550/arXiv.2305.11833

arxiv.org/abs/2402.17805

Another direction is to study foundations of databases using logics over semiring annotated data:

arxiv.org/abs/2306.15516

Supervisor Bio

Dr. Virtema is an expert in the area of logic and complexity theory and has strong international collaborators. His recent works focus in the quantitative setting with applications to verification, database theory and neural networks.

About the Department

99 percent of our research is rated in the highest two categories in the REF 2021, meaning it is classed as world-leading or internationally excellent. We are rated as 8th nationally for the quality of our research environment, showing that the Department of Computer Science is a vibrant and progressive place to undertake research.

You will join our Foundations of Computation (FOX) Group, whose research topics range from the theoretical mathematical foundations that underpin computer science to their applications in real world contexts. The FOX is one of the largest and most diverse research groups of its type in the UK. Please see www.sheffield.ac.uk/cs/research/groups/foundations-computation.

Candidate Requirements

Applicants should hold a very good degree (preferably a masters) in a relevant subject (i.e., Logic, Computer Science, or Mathematics). Candidates with exceptional undergraduate Honours degrees are considered. The project requires a good understanding of logic, and the willingness to learn the necessary mathematical background in computational complexity theory.

How to apply

To apply for a PhD studentship, applications must be made directly to the University of Sheffield using the Postgraduate Online Application Form. Make sure you name Jonni Virtema as your proposed supervisor.

Information on what documents are required and a link to the application form can be found here - www.sheffield.ac.uk/postgraduate/phd/apply/applying

The form has comprehensive instructions for you to follow, and pop-up help is available.

Applications should include a research statement, CV, transcripts and two references.

The research statement (no longer than 4 A4 pages, including references) should outline your interests, the research direction you are interested in pursuing and include details of your skills and experience in logic and complexity theory.

Expected start date: February 2025

Funding Notes

This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences.

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 Sheffield

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