History or background of award
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.
Purpose of award
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@ecs.vuw.ac.nz. For further information about the project please contact Professor Noble.
Selection criteria
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.
Number of awards offered
One
Value
$25,000 annual stipend plus tuition fees
Tenure of award
Up to three years.
Closing dates for applications
Saturday 01 March 2014
Sunday 01 March 2015
1 March 2012
How do students apply?
Review of applications will begin immediately with receipt of all the application material requested.
Applicants should also complete the Victoria University PhD Admission form available from: http://www.victoria.ac.nz/fgr/prospective-phds/applying.aspx and clearly mark this form on the front page and on page three - Marsden Software Engineering Project. Applicants must provide all the documents requested and also provide CV. Referees statements for admission must be provided on the template available on the website. PhD Admission application materials must be forwarded to the address outlined on the Admission form and not directly to Professor Noble.
Please note: applicants for PhD admission are not asked to provide a fully developed research proposal but a 'statement of research interests'. However, applicants for this scholarship should outline their interests in, and knowledge of, the project topic as outlined above.
Decision makers
A team including Professor James Noble
How and when do students learn of the decision?
As soon as possible after the PhD round has been assessed.
What conditions are attached to acceptance of this award?
The successful applicant will be required to sign a Victoria University Postgraduate Scholarship contract and abide by the intent of the Victoria University Scholarship regulations.
Additional information
The project will work in the context of the Grace programming language effort: see http://gracelang.org/
Who else has information about this award?
Professor James Noble
School of Engineering and Computer Science
Victoria University of Wellington
New Zealand
kjx@ecs.vuw.ac.nz.
+ 64 4 463 6736
http://www.fis.org.nz/BreakOut/vuw/schols.phtml?detail+500504