CloVer: Learning-based Compositional Verification for the Cloud

Applications are invited for our EPSRC funded Doctoral Training Partnership (DTP) PhD studentship for the project “CloVer: Learning-based Compositional Verification for the Cloud” starting 1^st October 2021. Successful applicants will receive an annual stipend (bursary) of £17,609, including inner London weighting, plus payment of their full-time tuition fees for a period of 36 months (3 years). 

The majority of studentships are available to applicants who are eligible for home (UK) tuition fees but a limited number are available to overseas and EU nationals who meet the academic entry criteria.

The Project

You will join the internationally recognised researchers in the Department of Computer Science.  This exciting research project is focused on developing a technique for compositional (modular) verification of cloud applications. The technique will combine machine-learning algorithms and behavioural types (a lightweight verification method for distributed systems). The key idea is to infer the “type” of the system, and then use model checking to verify properties such as data integrity violations, data leaks and data inconsistencies.

Please contact Dr Rumyana Neykova at [Email Address Removed] an informal discussion about the studentships.

Skills and Experience

Applicants will be required to demonstrate their skills in Software Analysis, Object-Oriented Design and Development, Algorithm Design and Development Machine Learning as well as their ability to conduct critical background and literature reviews. Project and time management skills are essential. 

You should be highly motivated, able to work independently as well as in a team, collaborate with others and have good communication skills.

Academic Entry Criteria

You will have or be expected to receive a 1^st class or 2:1 honours degree in Computer Science or a similar discipline. A masters degree is not required but may be an advantage.   If applicable, you should hold an English Language proficiency qualification of or equivalent to an overall score of IELTS 6.5 (minimum 6.0 in all sections).

How to Apply

Please submit the documents below) to [Email Address Removed] by Noon on Friday 4 June 2021.  Interviews will take place in June/July 2021.

1. Your up-to-date CV;
2. Your personal statement (300 to 500 words) summarising your background, skills and experience;
3. Your Undergraduate/Postgraduate Masters degree certificate(s) and transcript(s);
4. Your English Language qualification, if appropriate;
5. Contact details for TWO referees, one of which can be a member of Brunel University academic staff.

Remember to state the title of the project at the top of your personal statement.