Back to search results

PhD Studentship: Formalizing Software Reliability: Theoretical Foundations and Practical Methods

The University of Manchester - Computer Science

Qualification Type: PhD
Location: Manchester
Funding for: UK Students
Funding amount: £20,780
Hours: Full Time
Placed On: 7th May 2025
Closes: 16th May 2025

Research theme: Formal Methods

How many positions: 1

This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive an annual tax free stipend, set at the UKRI rate (£20,780 for 2025/26) and tuition fees will be paid.

This project explores the development of Validation Portfolios—a novel framework to systematically combine diverse Formal Methods for maximizing software reliability while minimizing cost.

Formal Methods (FMs) are mathematical techniques used to verify the correctness of software systems. While many powerful FMs exist—such as model checking, symbolic execution, and interactive theorem proving—they are rarely applied together in a coordinated manner. This project aims to change that by introducing a rigorous foundation for selecting and integrating FMs across complex software systems.

The research will develop a theory that treats software as a network of interconnected components, each with varying criticality, complexity, and verification needs. By mapping each component to the most appropriate FM tool based on cost-efficiency and expected reliability gains, we aim to construct validation portfolios: automated strategies for targeted and efficient software validation.

A central challenge is to enable meaningful reasoning about the trade-offs between effort and assurance—how much trust do we gain in a system for a given verification cost? The project will tackle this by quantifying verification costs and guarantees in a way that is compatible with real-world development practices.

Working in tandem with empirical validation, the project will also explore how this framework can support continuous integration pipelines, enabling adaptive verification strategies as systems evolve.

Ultimately, this research will result in a principled, scalable methodology for deploying Formal Methods in practical software engineering contexts, helping organizations make informed decisions about where and how to apply formal verification most effectively.

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.

To apply, please contact Dr Cordeiro - lucas.cordeiro@manchester.ac.uk. 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.

Application deadline: 16/05/2025

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 The University of Manchester

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