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. The stipend is £14,790
(2013/14) per year. The application deadline is 30th August
2013.
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. The stipend is £14,790
(2013/14) per year. The application deadline is 30th August
2013.
Study Subject(s): Scholarships are provided in the field of Computer Science –
verification of cyber-physical systems at Newcastle University in UK.
Course Level: Scholarships are available for pursuing
PhD degree level at Newcastle University in UK.
Scholarship Provider: Newcastle University, UK
Scholarship can be taken at: UK
verification of cyber-physical systems at Newcastle University in UK.
Course Level: Scholarships are available for pursuing
PhD degree level at Newcastle University in UK.
Scholarship Provider: Newcastle University, UK
Scholarship can be taken at: 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.
-The applicant should also have familiarity with automated
verification techniques and tools such as model checking, SAT/SMT solvers,
abstract interpretation, etc.
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 applicant should also have familiarity with automated
verification techniques and tools such as model checking, SAT/SMT solvers,
abstract interpretation, etc.
Scholarship Open for International Students: UK/EU or international students can apply for these
scholarships.
scholarships.
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. 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 in Newcastle is Dr Paolo Zuliani.
(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 in Newcastle is Dr Paolo Zuliani.
Duration of award(s): 3 years
What does it cover? The award will cover stipend and tuition fees at UK/EU
or international level. The stipend is £14,790 (2013/14) per year.
or international level. The stipend is £14,790 (2013/14) per year.
How to 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. The applicant should also
send their covering letter and CV by e-mail to Dr Zuliani
at paolo.zuliani-at-ncl.ac.ukand the Postgraduate Secretary
at cs.pg-at-ncl.ac.uk.
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. The applicant should also
send their covering letter and CV by e-mail to Dr Zuliani
at paolo.zuliani-at-ncl.ac.ukand the Postgraduate Secretary
at cs.pg-at-ncl.ac.uk.
Scholarship Application Deadline: The application deadline is 30th August 2013.
