PhD Studentship ,Computer Science Verification ,Cyber-Physical Systems ,UK

Scholarship Description:

PhD Studentship ,Computer Science Verification ,Cyber-Physical Systems ,UK is open for . The scholarship allows level program(s) in the field of taught at . The deadline of the scholarship is .

Newcastle University is offering PhD Studentship in Computer Science  Verification of Cyber-Physical Systems in UK. Applicants should have either  a First class honours degree in Computing Science, Mathematics, or other  relevant science or engineering subject, or a or 2.1 in Computing Science,  Mathematics or other relevant science or engineering subject and a distinction  level Masters degree in a related subject. The award will cover stipend and  tuition fees at UK/EU or international level. The stipend is £14,790.  Application should be submitted till 31st May 2013.

Study Subject(s): Studentship is offered for a  project on Computer Science Verification of Cyber-Physical Systems at Newcastle  University in UK. Course Level: This  studentship is available for pursuing PhD degree level at Newcastle  University in UK. Scholarship Provider: Newcastle  University in UK Scholarship can be taken at: UK

Eligibility: Applicants should have either a First class  honours degree in Computing Science, Mathematics, or other relevant science or  engineering subject, or a or 2.1 in Computing Science, Mathematics or other  relevant science or engineering subject and a distinction level Masters degree  in a related subject. Students should have familiarity with automated  verification techniques and tools such as model checking, SAT/SMT solvers,  abstract interpretation, etc.

Scholarship Open for International Students: International  students can apply for this studentship.

Scholarship Description:



This project will combine and extend simulation-based  techniques (statistical model checking) and hybrid systems decision procedures  to enable verification of complex, realistic cyber-physical systems. In  particular, we will develop a concolic (combined concrete and symbolic) testing  framework to complement and extend the strengths of the statistical and  numerical techniques, leading to new approaches for verifying cyber-physical  systems.

Number of award(s): Not Known

Duration of award(s): Studentship is  offered for three years.

What does it cover? The award will cover stipend  and tuition fees at UK/EU or international level. The stipend is £14,790  (2012/13) per year.

Selection criteria: Not Known

Notification: Not Known

How to Apply: Applicants must apply through  the University’s online postgraduate application  form inserting the reference CS040 and selecting ‘PhD Computer Science’, with programme code 8050F, as the programme of study. Mandatory fields need  to be completed and a covering letter, CV and (if English is  not their first language) a copy of students English language  qualifications must be attached. The covering letter must state the title of the  studentship, the reference number CS040 and describe how applicants satisfy the  Person Specification requirements (max. 2 pages). If students already have  published research papers a list of bibliographic details should be included in  the covering letter.

Scholarship Application  Deadline: The application deadline is 31st May  2013.

Further  Official Scholarship Information and Application

 

Degree Level:

PhD Studentship ,Computer Science Verification ,Cyber-Physical Systems ,UK is available to undertake level programs at .

Available Subjects:

Following subject are available to study under this scholarship program.