PhD in Mocha Model Checking With Agility

At University of Portsmouth, applications for the Aug 2027 intake are open until May 4, 2027, and tuition is 21,306 USD per year.

Students interested in investigating how agile methods and model checking can be integrated to improve software system development will find the PhD project Mocha Model Checking With Agility engaging. Supervised by Dr David Williams and Dr Ben Aziz, the PhD project is based in the School of Computing . This program will involve creating models of software systems using the B-Method and/or Event-B and analysing these models using linear temporal logic (LTL) model checking. The goal is to embed this within agile Behaviour-Driven Development (BDD) to make models more accessible to stakeholders through interactive visualisations.

What you'll do

You will focus on specific tasks such as creating models of software systems, analysing these models, and making them accessible to a broader audience. This PhD aims to contribute to new theoretical results for using linear temporal logic (LTL) in B/Event-B refinement, ensuring that properties hold as models are iteratively developed and refined. You will also work on visualisations that stakeholders can directly engage with and interact with.

University of Portsmouth, established in 1869 and located in the historic coastal city of Portsmouth, offers a vibrant student experience with around 28,000 students, including approximately 5,000 international learners. The university combines strong teaching and research with practical industry links and a waterfront location that enriches campus life. Its long history of technical and professional education makes it a familiar choice for students seeking applied learning in a city with excellent transport links.

Portsmouth provides a range of programs organized across ten broad subject areas, encompassing engineering, business, health professions, creative arts and sciences. Students benefit from industry placements, modern laboratories and career-focused modules that enhance employability. The university also supports research-led teaching and partnerships with local employers, giving international students opportunities to gain real-world experience alongside academic study.

Comprehensive support services help international students with visas, accommodation, language preparation and wellbeing, while student societies and campus activities foster social integration. With practical training options, placement support and access to regional industries and cultural sites, Portsmouth is well suited to students who value both academic quality and hands-on experience. Prospective applicants should investigate program specifics, placement opportunities and scholarship options before applying.