3 PhD Stipends in Functional Programming and Many-Cores

+----------------------------------------------------------------------------+

                PHD STUDENTSHIPS IN PROGRAMMING LANGUAGES

                      School of Computer Science
                     University of Hertfordshire, UK

Applications are invited for a 3-year PhD studentship in the Compiler
Technology and Computer Architecture group within the School of Computer
Science.  We can offer three EU-funded PhD studentships as part of the
EU projects "Self-Adaptive Embedded Technologies for Pervasive Computing
Architectures" (Aether) and "Architecture Paradigms and Programming Languages
for Efficient Programming of Multiple Cores" (Apple-CORE).

The advent of multicore processors has raised new demand for techniques
that allow mainstream programmers to effectively utilise machines with
a rapidly growing amount of concurrency available at the hardware
level.  In both of the aforementioned EU-projects we address that
challenge using functional techniques.  While the Aether project is
concerned with a stream-processing approach based on the language S-Net
(<http://snet.feis.herts.ac.uk/>), the Apple-CORE project investigates the
suitability of a novel micro-threaded hardware architecture as a compilation
target for functional programming languages such as the high-performance
language SaC (<http://www.sac-home.org/>).  The architecture under
consideration is developed by our partners at the University of Amsterdam
(<http://www.science.uva.nl/research/csa/microgrids.html>).

To strengthen our research team we are looking for up to three new PhD
students, who want to be involved in the theoretical and practical aspects
of programming language and compiler research for the upcoming generation