Overview
The Software Systems Engineering Group of the UCL Department of Computer Science offers a studentship in the area of analysis techniques for complex missions.
Project Description
The increasing complexity of today’s missions (such as missions assigned to a swarm of UAVs) is overwhelming not only the personnel planning the missions, but also the support offered by the latest developments in automated mission planning systems and simulation environments. This has led to the use of simplified models that a planner can handle, but which might result in brittle missions that do not account for some important factors that may affect their success. Simulation tools on the other hand may include richer scenarios but in very limited numbers due to their construction costs. As a result, complex missions may be deployed with errors that may hinder their success.
Complementary approaches for mission validation are therefore needed. The goal of this project is to bring the benefits of modern automated program analysis techniques to bear on complex missions to improve their dependability.
Stipend: £16,767 per annum maintenance stipend plus fees at the UK/EU rate.
Investigators
This project is being led at UCL by Prof David S. Rosenblum. The project is a joint collaboration with Profs Sebastian Elbaum and Matthew Dwyer of the Laboratory for Empirically-based Software Quality Research and Development (ESQuaReD), Department of Computer Science and Engineering, University of Nebraska–Lincoln.
Studentship Description
The student will be responsible for investigating languages and approaches for modelling missions and the environments they operate in; for investigating the use of planners in the development of missions, and for investigating novel techniques for analysing mission models in order to identify faults in a mission, to characterise the space of possible successful missions, and to determine the probability of success for a mission.
Person Specification
The student must have a BSc in computer science or related fields at the level of at least a 2:1 or equivalent and must demonstrate excellent proficiency with the English language. An MSc in a relevant area is highly desirable. Experience with planners, program analysis techniques, formal specification languages, and probability and statistics is also highly desirable.
Duration of Studentship
33.5 months from 1 April 2010, of which the funding for the first 9.5 months is guaranteed, with the remaining 24 months to be paid at the option of the funding body. Continued funding is also contingent on adequate performance by the student.
How to apply
Please visit our website at http://www.cs.ucl.ac.uk/vacancies.html for further information on this studentship and details of how to apply.
Enquires about the studentship and project can be made to Prof. David Rosenblum(E-mail: d.rosenblum@cs.ucl.ac.uk or Telephone: +44 (0)20 7679 7366 +44 (0)20 7679 7366).
Please kindly mention Scholarization.blogspot.com when applying for this opportunity
The Software Systems Engineering Group of the UCL Department of Computer Science offers a studentship in the area of analysis techniques for complex missions.
Project Description
The increasing complexity of today’s missions (such as missions assigned to a swarm of UAVs) is overwhelming not only the personnel planning the missions, but also the support offered by the latest developments in automated mission planning systems and simulation environments. This has led to the use of simplified models that a planner can handle, but which might result in brittle missions that do not account for some important factors that may affect their success. Simulation tools on the other hand may include richer scenarios but in very limited numbers due to their construction costs. As a result, complex missions may be deployed with errors that may hinder their success.
Complementary approaches for mission validation are therefore needed. The goal of this project is to bring the benefits of modern automated program analysis techniques to bear on complex missions to improve their dependability.
Stipend: £16,767 per annum maintenance stipend plus fees at the UK/EU rate.
Investigators
This project is being led at UCL by Prof David S. Rosenblum. The project is a joint collaboration with Profs Sebastian Elbaum and Matthew Dwyer of the Laboratory for Empirically-based Software Quality Research and Development (ESQuaReD), Department of Computer Science and Engineering, University of Nebraska–Lincoln.
Studentship Description
The student will be responsible for investigating languages and approaches for modelling missions and the environments they operate in; for investigating the use of planners in the development of missions, and for investigating novel techniques for analysing mission models in order to identify faults in a mission, to characterise the space of possible successful missions, and to determine the probability of success for a mission.
Person Specification
The student must have a BSc in computer science or related fields at the level of at least a 2:1 or equivalent and must demonstrate excellent proficiency with the English language. An MSc in a relevant area is highly desirable. Experience with planners, program analysis techniques, formal specification languages, and probability and statistics is also highly desirable.
Duration of Studentship
33.5 months from 1 April 2010, of which the funding for the first 9.5 months is guaranteed, with the remaining 24 months to be paid at the option of the funding body. Continued funding is also contingent on adequate performance by the student.
How to apply
Please visit our website at http://www.cs.ucl.ac.uk/vacancies.html for further information on this studentship and details of how to apply.
Enquires about the studentship and project can be made to Prof. David Rosenblum(E-mail: d.rosenblum@cs.ucl.ac.uk or Telephone: +44 (0)20 7679 7366 +44 (0)20 7679 7366).
Please kindly mention Scholarization.blogspot.com when applying for this opportunity
0 comments:
Post a Comment