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 ([Email Address Removed])
For general enquiries about the University of Dundee, contact [Email Address Removed]
Our research community thrives on the diversity of students and staff which helps to make the University of Dundee a UK university of choice for postgraduate research. We welcome applications from all talented individuals and are committed to widening access to those who have the ability and potential to benefit from higher education.
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: www.dundee.ac.uk/guides/english-language-requirements.
Step 1: Email Dr José Fiadeiro ([Email Address Removed]) 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 our direct application system. When applying, please follow the instructions below:
Apply for the Doctor of Philosophy (PhD) degree in Computing:
Computing : Study : University of Dundee
Please select the study mode (full-time/part-time) and start date agreed with the lead supervisor.
In the Research Proposal section, please:
- Enter the lead supervisor’s name in the ‘proposed supervisor’ box
- Enter the project title listed at the top of this page in the ‘proposed project title’ box
In the ‘personal statement’ section, please outline your suitability for the project selected.