Newcastle University offers PhD Studentship
in computer Science – verification of cyber-physical systems in
UK. UK/EU or international students can apply for these
scholarships. Applicant should have either a first-class honours degree
in Computing Science, Mathematics, or other relevant science or
engineering subject, or an upper-second-class honours degree 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.
About Scholarship: 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. This project is a collaboration effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies. The Principal Investigator is Professor Edmund M. Clarke (Carnegie Mellon). The project investigator at Newcastle is Dr Paolo Zuliani.
Study: Computer Science – verification of cyber-physical systems
Course Level: PhD degree
Scholarship by: Newcastle University, UK
Location: UK
Eligibility: -Applicant should have either a first-class honours degree in Computing Science, Mathematics, or other relevant science or engineering subject, or an upper-second-class honours degree in Computing Science, Mathematics or other relevant science or engineering subject and a distinction level Masters degree in a related subject.
-Applicant should also have familiarity with automated verification techniques and tools such as model checking, SAT/SMT solvers, abstract interpretation, etc.
Scholarship Open for: UK/EU or international students can apply for these scholarships.
Duration: 3 years
Value: The award will cover stipend and tuition fees at UK/EU or international level. The stipend is £14,790 (2013/14) per year.
Apply: Applicant must apply through the University’s online postgraduate application form selecting ‘PhD Computer Science – Computing Science’ (programme code 8050F) as the programme of study. Once you have selected the programme of study, please insert the studentship/partnership reference number CS040. Mandatory fields need to be completed and a covering letter, CV and (if English is not your first language) a copy of your English language qualifications must be attached. The covering letter must state the title of the studentship, the reference number CS040 and describe how you satisfy the Person Specification requirements (max. 2 pages). If you already have published research papers a list of bibliographic details should be included in the covering letter. Applicant should also send your covering letter and CV by e-mail to Dr Zuliani at paolo.zuliani@ncl.ac.ukand the Postgraduate Secretary at cs.pg@ncl.ac.uk.
Deadline: 30th August 2013
Further Information: http://www.ncl.ac.uk/postgraduate/funding/search/list/cs040
About Scholarship: 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. This project is a collaboration effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies. The Principal Investigator is Professor Edmund M. Clarke (Carnegie Mellon). The project investigator at Newcastle is Dr Paolo Zuliani.
Study: Computer Science – verification of cyber-physical systems
Course Level: PhD degree
Scholarship by: Newcastle University, UK
Location: UK
Eligibility: -Applicant should have either a first-class honours degree in Computing Science, Mathematics, or other relevant science or engineering subject, or an upper-second-class honours degree in Computing Science, Mathematics or other relevant science or engineering subject and a distinction level Masters degree in a related subject.
-Applicant should also have familiarity with automated verification techniques and tools such as model checking, SAT/SMT solvers, abstract interpretation, etc.
Scholarship Open for: UK/EU or international students can apply for these scholarships.
Duration: 3 years
Value: The award will cover stipend and tuition fees at UK/EU or international level. The stipend is £14,790 (2013/14) per year.
Apply: Applicant must apply through the University’s online postgraduate application form selecting ‘PhD Computer Science – Computing Science’ (programme code 8050F) as the programme of study. Once you have selected the programme of study, please insert the studentship/partnership reference number CS040. Mandatory fields need to be completed and a covering letter, CV and (if English is not your first language) a copy of your English language qualifications must be attached. The covering letter must state the title of the studentship, the reference number CS040 and describe how you satisfy the Person Specification requirements (max. 2 pages). If you already have published research papers a list of bibliographic details should be included in the covering letter. Applicant should also send your covering letter and CV by e-mail to Dr Zuliani at paolo.zuliani@ncl.ac.ukand the Postgraduate Secretary at cs.pg@ncl.ac.uk.
Deadline: 30th August 2013
Further Information: http://www.ncl.ac.uk/postgraduate/funding/search/list/cs040
No comments:
Post a Comment