[robotics-worldwide] [jobs] Funded PhD - Architectural and Data Modelling for Robotic Applications
Robotics is a very exciting area of application; not only is it fun, but it
also has potential for huge economic and social impact. A lot has been
achieved, and a lot is expected to happen in the next decade or so.
Software engineering techniques that provide appropriate and specific
support for robot engineers, however, are few and far between.
Using RoboChart, we can define packages that specify data used and
generated in a robotic system. We can also specify the design and
deployment architectures of a system. This project will investigate
commonly used design patterns and specialise the modelling, verification,
and simulation techniques to deal with them. The outcome is a catalogue of
design patterns described in RoboChart with associated verification and
simulation approaches, whose feasibility is demonstrated by a number of
example applications from the literature and industry.
To be considered for this funding you must:
meet the entrance requirements for a PhD in Computer Science,
be eligible to pay home/EU fees.
We will look favourably on applicants that can demonstrate knowledge of
verification techniques and who have strong programming and mathematical
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.
There is no need to write a full formal research proposal as this
studentship is for a specific project.
2. Provide a personal statement of 500-1,000 words with your initial
thoughts on the research topic.