If successful, you will be supported for three years. Funding includes:
£14,777 (2018/19 rate) per year stipend,
Home/EU tuition fees,
RTSG (training/consumables/travel) provision.
1. Apply to study
You must apply online for a full-time PhD in Computer Science.
You must quote the project title (Architectural and Data Modelling for Robotic Applications Studentship) in your application.
2. Provide a personal statement of 500-1,000 words with your initial thoughts on the research topic. A formal research proposal is not required.
NOTE: Applications are processed as soon as they are received.
1. A. Miyazawa, P. Ribeiro, W. Li, A. L. C. Cavalcanti, and J. Timmis. Automatic property checking of robotic applications. In IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 3869--3876, 2017. [https://www-users.cs.york.ac.uk/~alcc/publications/papers/RMLCT17.pdf]
2. P. Ribeiro, A. Miyazawa, W. Li, A. L. C. Cavalcanti, and J. Timmis. Modelling and verification of timed robotic controllers. In N. Polikarpova and S. Schneider, editors, Integrated Formal Methods, pages 18--33. Springer, 2017. [https://www-users.cs.york.ac.uk/~alcc/publications/papers/RMLCT17.pdf]
3. Examples of tools that might be considered are SPIN (http://spinroot.com/spin/whatispin.html), nuSMV (http://nusmv.fbk.eu/), and PRISM (https://www.prismmodelchecker.org/).
FTE Category A staff submitted: 34.80
Research output data provided by the Research Excellence Framework (REF)Click here to see the results for all UK universities