[ecoop-info] PhD Scholarship, Verification and Design Patterns, Victoria University of Wellington, New Zealand

[James Noble]

A scholarship, supported by the Marsden Fund, is available for a PhD
student to work in the School of Engineering and Computer Science at
Victoria University of Wellington.

This scholarship will cover tuition fees, provide a stipend for up to
3 years and supports a Marsden funded project in software engineering:
Design Patterns and Ownership Types for Reusable Program Verification.

The project aims to make design patterns explicit in programs, and
then use ownership types to support verification of those programs. By
making patterns explicit in programs, software engineers will be able
to write a pattern once, and then reuse it many times across many
programs. Software engineers will be able to verify a pattern once,
and then rely on that verification to verify programs containing that
pattern. This fully-funded 3 year position forms part of a Marsden
funded research programme based at Victoria University of Wellington
(VUW), New Zealand. The student will form part of a small team led by
Professor James Noble kjx at ecs.vuw.ac.nz. For further information about
the project please contact Professor Noble.

Applicants need a Bachelors or Masters' degree in Computer Science or
Software Engineering; Excellent understanding of Object-Oriented
Programming and Design; Extensive practical experience with Java or
similar programming language; Solid research preparation in design
patterns, type systems, program verification, or language
implementation would be an advantage.

For more information: 

see http://www.fis.org.nz/BreakOut/vuw/schols.phtml?detail+500504

contact Professor James Noble, kjx at ecs.vuw.ac.nz