Coventry University Featured PhD Programmes
University of Oxford Featured PhD Programmes
University of Reading Featured PhD Programmes

Formal specification and analysis of dynamic networks of interactions


   School of Science and Engineering

   Sunday, October 31, 2021  Self-Funded PhD Students Only

Dundee United Kingdom Mathematics Software 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

 

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.

 

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 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.


Funding Notes

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

Email Now


Search Suggestions
Search suggestions

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