PhD/Postdoc in programming models for heterogeneous infrastructures

The IMDEA Software Institute ( and the Universidad
Politécnica de Madrid ( have openings at the
Ph.D. and post-doctoral levels within the 3-year POLCA (Programming
Large Scale Heterogeneous Infrastructures) European project, which
starts on September 2013. POLCA aims at developing a methodology and
tools to support a programming model to efficiently exploit
heterogeneous computing infrastructures (CPUs / GPUs / ASICs / FPGAs)
while reducing the burden on the programmer and the need to port code
between architectures. The project will build upon the design and use
of high-level source code annotations ("pragmas") which describe code
properties which can then be used to perform aggressive,
mathematically sound, source-to-source transformations capable to
adapt the code to the target architecture.

We seek applicants with a strong background in some of the following

  * High-level architectural and system-design languages (such as
    Clash or ForSyDe).

  * Source-to-source program transformation for optimization and

  * CPUs, GPUs, ASICs and FPGAs programming (OpenMP, OpenCL, CUDA,
    HDL, etc.).

  * Analysis of functional and non-functional program properties.

Knowledge in the following topics will be a strong plus:

- Existing compiler infrastructures (LLVM / Clang / ...).
- Abstract syntax.
- Embedded domain specific languages.
- Meta-programming.

Successful applicants are expected to actively contribute to the
development of the project toolset and must have an interest to carry
research at the intersection between specifications, programming
languages, program transformation, and parallelism. Collaboration in
usual EU research project chores is also expected.

All positions are initially for one year, renewable for up to three
years (in total). Satisfactory progress will be monitored and
required for renewal.

The starting date is negotiable, but preference may be given to
candidates able to adapt to the project starting dates.

For further information, please contact Manuel Carro (manuel.carro at