PhD STUDENTSHIP OPPORTUNITY:
Dr. Tim Kelly offers a PhD studentship on The Use of Structured
Argumentation to Support the Synthesis, Justification and Maintenance of
Further information may be obtained on the following webpage: www.cs.york.ac.uk/~tpk/missaphdstudentship.htm
PhD GRANT OPPORTUNITY: Programming from Stateflow Diagrams
Stateflow diagrams are part of the Simulink notation, which is a de facto standard in the British embedded systems industry for the specification of control systems. These diagrams include local data, finite state machines, flow-diagram notations, and state-transition diagrams. A PhD scholarship for a full-time home (European) student is currently available for work on formal modelling of stateflow diagrams, and on verification of programs with respect to these models. The research will focus particularly on understanding and extending the techniques currently used by our industrial collaborator, QinetiQ, and applying the novel results to an industrial case study.
Applicants should have completed (or expect to complete this academic year) an undergraduate degree with first class honours in Computing. Early career professionals interested in returning to academia are particularly encouraged to apply.
The grant covers both academic fees and subsistence for three years. The stipend in the academic year 2007-2008 is £12,600, tax exempt, £12,900 in the following year, and around £13,200 in the final year. Additional support to cover project costs and conference travel will also be available.
Further information regarding the project may be obtained by contacting the supervisor: Ana Cavalcanti (http://www.cs.york.ac.uk/people/bio.php?person=alcc). Application forms and instructions can be found in Graduate Schools Office homepage: http://www.york.ac.uk/admin/gso/gsp/apply/paperapply.htm.
PhD STUDENTSHIP OPPORTUNITY: NECTISE - Engineering Dependability Cases for Systems of Systems
A PhD Studentship for a full-time home (European) student is currently available as part of the EPSRC-BAE SYSTEMS NECTISE (Network Enabled Capability through Innovative Systems Engineering) research programme. NECTISE is investigating some of the many implications of the defence community moving to a capability-based acquisition environment in which the delivered capability is network enabled.
There are many dependability attributes of interest for NEC platforms – including safety, security, availability and performance. It is necessary to justify that the required level of dependability is being achieved by any given NEC configuration, or set of configurations. Such justifications have typically been presented in separate ‘cases’ – e.g. safety cases, security cases and reliability cases. This studentship will investigate how an overall ‘dependability case’ – showing the inherent trade-offs between individual attributes – can be constructed for NEC.
This studentship will explore the means of justifying and certifying (to the relevant regulatory authorities) the dependability characteristics of Service-Oriented Architectures for NEC. In particular, to correspond with the anticipated upgrading and adaptation of the elements of the system of systems, the strand will examine how to evolve a dependability case of ‘parts’ (i.e. a modular dependability case) that can be incrementally certified and adapted alongside systems of systems evolution. The studentship will involve extensive collaboration with BAE SYSTEMS and the other universities involved in the NECTISE research programme.
Applicants should have completed (or expect to complete this academic year) an undergraduate degree with first class honours in Computer Science or relevant Engineering discipline. Early career professionals interested in returning to academia are particularly encouraged to apply.
The grant covers both academic fees (for UK and EU students) and subsistence for three years. The stipend in each of the funded three years of the studentship is £12,000, tax exempt.
Further information regarding the project may be obtained by contacting the supervisors:
Tim Kelly: Tim Kelly or found on the following web page: http://www.cs.york.ac.uk/~tpk/nectisephd.html
Application forms and instructions can be obtained from the Graduate Schools Office
<http://www.york.ac.uk/admin/gso/gsp/apply/paperapply.htm> homepage: http://www.york.ac.uk/admin/gso/gsp/apply/paperapply.htm.