Two research assistantships in Programming Language Components and Specifications, Swansea (Wales)

There are 2 RA positions available in Swansea in the area of Programming Language Components and Specifications, which should be of strong interest to logicians. These two posts will support the EPSRC joint research 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.

Closing date: 09 June 2011. For more information, see http://www.plancomps.org/ or the vacancy announcement at http://www.swansea.ac.uk/personnel/vacancies/research/posttitle,58343,en.php. Informal enquiries may be made to Professor Peter Mosses at P.D.Mosses at swansea.ac.uk.