Back to search results

PhD Studentship - Logical Approach to Verification of Hyperproperties

University of Sheffield - Computer Science

Qualification Type: PhD
Location: Sheffield
Funding for: UK Students, EU Students, International Students
Funding amount: £15,609 - please see advert
Hours: Full Time
Placed On: 1st December 2021
Closes: 31st January 2022
 

Linear-time temporal logic (LTL) is one of the most prominent logics for the specification and verification of reactive and concurrent systems. Its basic principle is to specify the correctness of a program as a set of infinite sequences, called traces, which define the acceptable executions of the system. The classical approach using LTL does not suffice for properties of traces which relate multiple execution traces. Such properties (termed hyperproperties) are of prime interest in information flow security, where dependencies between the secret inputs and the publicly observable outputs of a system are considered potential security violations. There are two modern approaches to define logics for hyperproperties:

1) Hyperlogics HyperLTL, HyperCTL etc. which extend classical temporal logics with named quantification of traces

2) Team based logics TeamLTL, TeamCTL etc. which use the so-called team semantics to express hyperproperties directly without trace quantifiers.

The goal of this project is to develop the theory of team based logics for hyperproperties. The concrete direction the student takes is quite flexible. One exciting direction would be 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 therein. The student will have the possibility to collaborate with prominent international experts, e.g., from CISPA Helmholtz Center for Information Security, University of Helsinki, Leibniz Universität Hannover, and University of Münster.

Related work on TeamLTL and related logics:

arxiv.org/abs/2110.12699

arxiv.org/abs/2010.03311

dx.doi.org/10.4230/LIPIcs.MFCS.2018.10

Ideas how to implement quantitative features to TeamLTL can be drawn, e.g., from the following papers:

arxiv.org/abs/2012.12830

arxiv.org/abs/2003.00644

arxiv.org/abs/2005.03362

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 also considered. The project requires a good understanding of logic, and the willingness to learn the necessary mathematical background in computational complexity theory.

If English is not your first language, you must have an IELTS score of 6.5 overall, with no less than 6.0 in each component.

To apply for the studentship, applicants need to apply directly to the University of Sheffield using the online application system. Please name Dr Jonni Virtema as your proposed supervisor. Complete an application for admission to the standard Computer Science PhD programme www.sheffield.ac.uk/postgraduate/research/apply

Applications should include a research proposal, CV, transcripts and two references. The research proposal (up to 4 A4 pages, including references) should outline your reasons for applying for this scholarship and how you would approach the researching, including details of your skills and experience in logic and complexity theory.

This Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate (currently £15,609 for 2021/22) for three and a half years. International students are eligible to apply, however will have to pay the difference between the UK and Overseas tuition fees.

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