Postgrad LIVE! Study Fairs

Birmingham | Edinburgh | Liverpool | Sheffield | Southampton | Bristol

University of East Anglia Featured PhD Programmes
University College London Featured PhD Programmes
Imperial College London Featured PhD Programmes
University of Glasgow Featured PhD Programmes
University College London Featured PhD Programmes

Developing the Modelling, Verification and Deployment of Data-aware Systems


Project Description

Studentship: Untaxed bursary of 16,777 per annum (2018/19 figure including London weighting plus home/EU fees)
The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as ”Excellent” in the previous national assessment of teaching quality.

Applications are invited for a PhD student in Verification of Data-aware Systems under the supervision of Dr Belardinelli.
In recent years Data-aware Systems have been put forward as a comprehensive framework to model complex business workflows by considering data and processes as equally relevant tenets of the system description
This PhD project aims at advancing the state-of-the-art in the modelling, analysis and deployment of data-aware systems by using a novel, compositional, agent-based approach to their specification and verification.

To apply for this position, you will need to

• have a strong background in at least one of the following areas: Logics, Formal Methods, and Databases.

• be capable of programming in the most popular programming languages, including C, C++, Java.

• show commitment, team working and a critical mind.

Previous experience in formal verification by model checking and/or logics for multi-agent systems is preferred, but not essential.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.
The position is fully funded, covering tuition fees, and a stipend/bursary. The position is available to home, and EU students.

*How to apply*

Please send the following documents in pdf format to
with the email subject “Application to PhD position“:

- Academic CV

- Covering letter stating to which position you are applying to as well as why you consider yourself suitable for the post (maximum 2 pages A4)

References do not need to be included with the application, but shortlisted applicants will need to send 2 reference letters before interview.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr Francesco Belardinelli. For further information see https://www.doc.ic.ac.uk/ fbelard/

This position will be based at the South Kensington campus in central London. Applicants are advised to visit http://www.imperial.ac.uk/computing/prospective-students/courses/phd/ for general information on becoming a PhD student in the Department of Computing.

How good is research at Imperial College London in Computer Science and Informatics?

FTE Category A staff submitted: 49.45

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

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
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2018
All rights reserved.