New Zealand - University of Wellington PhD Studentship in Programming Languages
October 21st, 2008
Sponsored Links
Unification of Immutability and Ownership
I am actively looking for a PhD student in programming languages (ownership types and immutability). I have full funding available to cover fees, living, and travel. Please email me for more information if you have a Masters or Honours degree and a good background in programming languages and/or type systems! Applications from both domestic and international students invited.
The Project
Object-oriented programs at run-time consist of objects - small software components that are created, changed, and destroyed as the program runs. The uncontrolled ability of objects to change other objects is well known to result in many errors in large systems.
Immutability - an ability to prevent changes to objects - is a mechanism that could be used to provide such control. While immutability controls whether an object can be changed, it is not enough: we need to be able to also control which objects can perform the changes.
Ownership - an ability to control which objects can access a given object - is a mechanism that can be used to control which objects are allowed to perform the changes. Immutability benefits greatly from ownership that prevents unauthorised objects from accessing and changing the object.
Immutability and ownership evolved separately: while some proposed languages attempt to support both, they treat them as independent concepts.
We propose to treat them as facets of a more general unified concept. This work aims to advance the science of programming by providing a unified treatment of immutability and ownership, simplifying both the theory and practice of object-oriented programming.
The Student
This project requires a strong mathematical logic or formal methods in Computer Science background.
Closing date: 1 May 2009
Contact
Dr Alex Potanin
alex@mcs.vuw.ac.nz
http://homepages.mcs.vuw.ac.nz/~alex/
Entry Filed under: Other
Previous Post: Portugal - Technical University of Lisbon PhD Research Fellowship in Minimally Invasive Laser Dentistry
Next Post: United Kingdom - University of Cambridge PhD Studentships in Statistics
Most Favorite:
- Malaysia - 2009 / 2010 Government of Malaysia Scholarship for International Students
- Worldwide - 2009 / 2010 OFID Scholarship Award
- Germany - 2007/2008 DAAD Scholarships for Master and Doctoral Programs
- Belgium - Ghent University Master Grants for Students from Developing Countries
- France - 2009 / 2010 Pasteur - Paris University International Doctoral Program in Life Sciences and Biomedicine
- Belgium - 2008 / 2009 VLIR-UOS ICP and ITP Scholarship Programme in Various Fields
- UK, Norway, Sweden - 2008 / 2009 Erasmus Mundus Scholarships: MA Human Rights Practice
- Australia - 2008 University of Sydney International Scholarship (USydIS) for Postgraduate Student
- Belgium - 2009 VLIR-UOS ITP and ICP Scholarship Programme in Various Fields
- Netherlands - 2008 Netherlands Fellowship Programmes (NFP) (administered by Nuffic)
- United Kingdom - University of Hertfordshire UH International Scholarship for Undergraduate and Postgraduate Studies
- India, USA, UK, Germany, France, Spain, Switzerland - 2008 / 2009 Aegis Postgraduate Scholarships and Financial Aid
- Indonesia, Japan, Netherlands, France - Program Beasiswa PUSBINDIKLATREN Tahun 2008
- Netherlands, Finland, France - 2008 / 2009 Erasmus Mundus Scholarships: International Master in Management of Information Technology (IMMIT)
- Canada - Management Institute of Canada MBA / MPA Scholarships