PhD Research Project: Reliable Response and Behaviour of Autonomous Robots
Autonomous robots sense the world, accept instructions in abstract form and decide what to do. They need to decide whether they accept the command or suggestions and make plans to achieve an objective. This process can be riddled by misunderstandings and also by possibly unexpected or incorrect behaviour.
The objective of this research is to do formal analysis of interpretation of messages and the decision making process of what to do and developing control software that is reliable in term of behaviour rules and achieving goals. Methods used are natural language programming (sEnglish) of robots and their model checking of a multi-agent system in an environment that is modeled as a hybrid system.
Prospective applicants should have a computer science or mathematics or control engineering degree and preferably some familiarity with hybrid system modelling and programming in Java/C++/MATLAB.
Applicants can apply for a Scholarship from the University of Sheffield but should note that competition for these Scholarships is highly competitive. http://www.sheffield.ac.uk/acse/research-degrees/scholarships
More searches like this
- Science Academic (e.g. 'Lecturer') £30,000 - £39,999 jobs in United Kingdom
- Physical Sciences and Engineering Academic (e.g. 'Lecturer') £30,000 - £39,999 jobs in United Kingdom
- Chemical Engineering Academic (e.g. 'Lecturer') £30,000 - £39,999 jobs in United Kingdom
- Chemistry Academic (e.g. 'Lecturer') £30,000 - £39,999 jobs in United Kingdom