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 [email protected]
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/
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.