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 metricsSoftware 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 invariantsClass 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.
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.
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.
2 PhD studentships in Computer Science-Software Engineering
