[ecoop-info] 2 PhD studentships available in software modelling

[James Power]

2 PhD studentships:
Consistency of Software Artefacts in a Model Oriented Environment

Applicants are invited for two PhD studentships with the Principles of
Programming research group in the Department of Computer Science at
NUI Maynooth in the following areas:

- A: Formal models and transformation for software metrics

Software metrics can be applied at many levels, from analysis, through
design and into code. In a round-trip engineering environment it is
reasonable to expect that metric calculations will move with ease from
models through code and back again. This PhD will develop a formal
foundation that will provide for the definition and use of metrics at
the intra- and inter-model level, and investigate the portability of
these metrics between models.

- B: Formal models and transformation for class invariants

Class invariants are a major component of OO specification and
development, yet there are many barriers to describing and using them
correctly across different models in a model-oriented
environment. This project will investigate the specification of
invariants at the intra- and inter-model level, and investigate the
portability of these invariants between models.


- Studentship Details

The PhD studentships are funded through the Research Frontiers
Programme of Science Foundation Ireland. For each PhD student the
funding includes payment of fees, a stipend of €18,000 per annum, and
ancillary costs. Both PhD studentships will run from October 2011 for
four years.

Fundamental to each project is the development of a formal
infrastructure to facilitate the movement of metrics and invariants
across models based on the category-theoretic framework of
institution. Thus, in both cases, applicants should have a background
in Computer Science with a good mathematical ability. Experience in
formal specification, verification and theorem proving is desirable
for both projects.

To apply: Send a copy of your C.V to pop-phd11 at cs.nuim.ie including
details of your educational background, projects and publications (if
any), and the reasons for your interest in the project.


Closing date: 30 June 2011

For more information, see:
   http://www.cs.nuim.ie/research/pop/phd2011.html