Deadline: 31 May 2011
Open to: Candidates with a first or upper-second (2:1) class honours degree (or equivalent) in Computer Science or a closely related area
Scholarship: Full
The Department of Computer Science at Swansea University is offering a fully-funded EPSRC PhD studentship starting in October 2011 or January 2012.
This exciting and highly ambitious project will develop and test a novel component-based framework for design, specification and implementation of programming languages. It includes: Specification of a collection of highly reusable language components called funcons (fundamental constructs); Translation of major general-purpose programming languages (C#, Java, F#) and domain-specific languages to funcons; Validation of funcon and language specifications by testing generated prototype implementations; Design and implementation of an Integrated Development Environment (IDE) for component-based specification; Creation of a digital library of language specifications.
Led by Professor Mosses at the Department of Computer Science, the Swansea team will be working with teams from Royal Holloway, University of London and City University London. The Department of Computer Science at Swansea University has a strong and long-established record in the area of fundamentals of computing. Further information about the PLanCompS project can be found HERE.
Eligibility
- Candidates should have a first or upper-second (2:1) class honours degree (or equivalent) in Computer Science or a closely related area
- Experience/other skills & qualities required: a clear interest in formal semantics of programming languages. Familiarity with some form of structural operational semantics will be an advantage, but prior knowledge of action semantics and I-MSOS is not required.
- Candidates from the UK, EU and overseas are welcome to apply. However, the studentship will only cover UK/EU fees, so international candidates will have to cover the difference in fee.
Studentship
The studentship will cover UK/EU Tuition Fees for 42 months full-time (starting 1st October 2011 or 1st January 2012) plus stipend of £ 13,590 p.a. tax free. The studentship will also cover the cost of two overseas conferences per annum.
Application
- Candidates should apply using the University’s standard Postgraduate Application Form.
- Please indicate on the form that you wish to be considered for the ‘Programming Language Components and Specifications’ studentship.
- The 1-2 page supplementary personal statement submitted with the application form should include a brief overview of any previous studies related to the foundations of programming languages.
Contact: Professor Peter Mosses: P.D.Mosses@swansea.ac.uk
Phone: +44 (0)1792 602249
