Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Two PhD student positions on "Programming Language Components and Specifications", London / Swansea (U.K.)

Applications are invited for two PhD studentships in connection with the project "PLanCompS: Programming Language Components and Specifications ", a 4-year joint research project based at Swansea, Royal Holloway and City, funded by EPSRC. It will establish and test the practicality of a component-based framework for the design, specification and implementation of programming languages. The main novelty will be the creation of a substantial collection of highly reusable, validated language components called fundamental constructs or funcons. Crucially, the semantic specification of each funcon will be independent, not needing any reformulation when funcons are combined or new funcons added to the collection.

Thesis topics are "Modularisation and multi-phase translation" (Royal Holloway) and "Foundations of component-based language specification" (Swansea). Application deadline: 31st May 2011.

For more information, see http://www.plancomps.org/.

Please note that this newsitem has been archived, and may contain outdated information or links.