Skip to content High contrast mode
Logo of The University of Sheffield

MScAdvanced Computer Science (Verification and Testing)

Tuition fee £20,470 per year
More information

Expenses, accommodation, working etc. 


Our project-based courses give you valuable hands-on experience. We teach you how to apply what you learn in business and industry, anywhere in the world.

On this course you’ll specialise in software verification and testing, developing expertise that is in demand worldwide. Innovative project work will teach you how to apply your knowledge in the real world.

Graduates with these specialist skills are in demand. Especially in industries where software is safety-critical, such as advanced manufacturing and nuclear energy.

Programme structure

Core modules

Object Oriented Programming and Software Design
Research Methods and Professional Issues
Dissertation Project

Plus three of:

Testing and Verification in Safety-critical Systems
Theory of Distributed Systems
Computer Security and Forensics
Software and Hardware Verification

Optional modules

Text Processing
Modelling and Simulation of Natural Systems
Speech Processing
3D Computer Graphics
Intelligent Web
Machine Learning and Adaptive Intelligence
Software Development for Mobile Devices
Speech Technology
Virtual Environments and Computer Games Technology
Natural Language Processing
Java E-Commerce
Network Performance Analysis


Group work


Formal examinations
Coursework assignments

Apply now! Fall semester 2020/21
This intake is not applicable

We are currently NOT ACCEPTING applications from NON-EU countries, except Georgia and Serbia.

Studies commence
Sep 20, 2020

Application deadlines apply to citizens of: United States