Engineering and Physical Sciences Research Council Featured PhD Programmes
Peter MacCallum Cancer Centre Featured PhD Programmes

Formal specification and analysis of dynamic networks of interactions


School of Science and Engineering

About the Project

As a result of the global interconnectivity ensured by the Web, and the availability of new distributed infrastructures such as service-oriented and cloud architectures, the new landscape of systems that are operating in cyber-space is that of multi-layered networks of systems where execution at the network nodes, which could be triggered by humans or performed by programmed devices, enable the spontaneous evolution of network links. The main aim of the project is to develop algebraic models and logics through which dynamic networks of interactions can be formally specified and analysed in relation to properties that they are required to satisfy. Case studies can be developed in different application domains.

For informal enquiries about the project, contact Dr José Fiadeiro ()
For general enquiries about the University of Dundee, contact


QUALIFICATIONS
Applicants must have obtained, or expect to obtain, a first or 2.1 UK honours degree, or equivalent for degrees obtained outside the UK in a relevant discipline.

English language requirement: IELTS (Academic) score must be at least 6.5 (with not less than 5.5 in each of the four components). Other, equivalent qualifications will be accepted. Full details of the University’s English language requirements are available online: http://www.dundee.ac.uk/guides/english-language-requirements.


APPLICATION PROCESS

Step 1: Email Dr José Fiadeiro () to (1) send a copy of your CV and (2) discuss your potential application and any practicalities (e.g. suitable start date).

Step 2: After discussion with Dr Fiadeiro, formal applications can be made via UCAS Postgraduate. When applying, please follow the instructions below:

Apply for the Doctor of Philosophy (PhD) degree in Computing: https://digital.ucas.com/coursedisplay/courses/3764e8ec-5ec9-da8d-e7ee-ad06fbcc2a63?academicYearId=2020. Select the start date and study mode (full-time/part-time) agreed with the lead supervisor.

In the ‘provider questions’ section of the application form:
- Write the project title and ‘FindAPhD.com’ in the ‘if your application is in response to an advertisement’ box;
- Write the lead supervisor’s name and give brief details of your previous contact with them in the ‘previous contact with the University of Dundee’ box.

In the ‘personal statement’ section of the application form, outline your suitability for the project selected.

Funding Notes

There is no funding attached to this project. The successful applicant will be expected to provide the funding for tuition fees and living expenses, via external sponsorship or self-funding.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here

The information you submit to University of Dundee will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.

* required field

Your enquiry has been emailed successfully



Search Suggestions

Search Suggestions

Based on your current searches we recommend the following search filters.



FindAPhD. Copyright 2005-2020
All rights reserved.