Exit Menu

Securing Microservices with Just-In-Time Model Verification

Brunel University London (BUL) is recruiting to EPSRC Doctoral Training Partnership (DTP) PhD studentships effective 1 October 2020. Applications are invited for the following specific project called “Securing Microservices with Just-In-Time Model Verification”. Successful applicants will receive an annual stipend (bursary) of £17,285 plus payment of their full-time home tuition fees for a period of 36 months (3 years).  Applicants must be eligible for home tuition fees either through nationality, residency (living in the UK for at least three years and not wholly for educational purposes) or other connection to the UK. 

The successful applicants will join the internationally recognised researchers in the Department of Computer Science and the Brunel Software Engineering Lab (BSEL).  This exciting research project is focused on developing an innovative approach that allows software engineers to verify and enforce security policies on microservice-based applications by using architecture recovery techniques. Traditional security policies are not applicable to the modern way of building systems by using distributed microservices. The project will produce new tools and theories which will be applied to enforce security properties in numerous impactful case studies, such as OAuth, which is implemented in more than a million codebases.

Applicants will be required to demonstrate that they have skills and abilities in:

  • Software Analysis
  • Object-Oriented Design and Development
  • Algorithm Design and Development
  • Conducting Critical Background and Literature Reviews
  • Project and Time Management

Please contact Nour Ali Nour.Ali@brunel.ac.uk  and Rumyana Neykova Rumyana.Neykova@brunel.ac.uk for an informal discussion about the studentships.

This is a College of Engineering, Design and Physical Sciences: EPSRC Funded DTP PhD Studentship.


Applicants will have or be expected to receive a first or upper-second class honours degree in an Engineering, Computer Science, Design, Mathematics, Physics or a similar discipline. A Postgraduate Masters degree is not required but may be an advantage.   

Experience in Microservice architecture, Software architecture, Verification techniques, DevOps, CyberSecurity and development using frameworks such as Docker, Spring or similar is an advantage.  In addition, they should be highly motivated, able to work in a team and independently, collaborate with others, meet deadlines and have good communication skills.

How to apply

Please submit your application documents (see list below) by Noon on Friday 26 June 2020 to cedps-pgr-office@brunel.ac.uk. Interviews will take place in July 2020.

  • Your up-to-date CV;
  • Your personal statement (300 to 500 words) summarising your background, skills and experience;
  • Your Undergraduate/Postgraduate Masters degree certificate(s) and transcript(s);
  • Evidence of your English language skills to IELTS 6.5 (or equivalent, 6.0 in all sections), if appropriate;
  • Contact details for TWO referees, one of which can be an academic member of staff in the College.

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