Vacancies

Postdoctoral position in stream computing

The Principles of Programming research group in the Department of Computer Science at the National University of Ireland, Maynooth (NUIM) is searching for a postdoctoral researcher to work in the area of modelling stream programming languages. The research is part of the Exascale Stream Computing Project, in collaboration with IBM and other Irish universities

The ideal candidate should have a PhD degree in Computer Science and/or Software Engineering, possess good practical software engineering skills, and have previous experience with parallel programming or stream computing. Familiarity with compiler front-ends, program verification, metamodelling or software language engineering would be an advantage. Good communication skills in English are also required, including experience of writing papers for international conferences and journals.

The position will be co-funded by IRCSET and IBM through IRCSET's Enterprise Partnership Scheme. Further details on the Enterprise Partnership Scheme can be found on IRCSET's website. Applicants must meet IRCSET's eligibility criteria and will be assessed independently by IRCSET.

For further information, or to apply, please contact:

Dr. James F. Power
Department of Computer Science,
National University of Ireland,
Maynooth, Co. Kildare, Ireland.

E-mail: pop-pd11@cs.nuim.ie

Applicants are invited for two PhD studentships with the Principles of Programming research group

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.

 

More information at:

http://www.cs.nuim.ie/research/pop/phd2011.html

Computer Science Department , NUI Maynooth
Tel: +353-1-708 3847 | Fax: +353-1-708 3848| Email: admin@cs.nuim.ie