Ivan Perez | 26 Oct 19:22 2013

Fwd: PhD/Postdoc in programming models for heterogeneous infrastructures

Hoi hoi, haskellers!

Our friends from UPM just sent the following PhD/Postdoc offer.

Goed weekend!!


The Universidad Politécnica de Madrid (www.upm.es/internacional) have
an opening at the Ph.D. or post-doctoral levels within the 3-year
POLCA (Programming Large Scale Heterogeneous Infrastructures) European
project. 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

  * Source-to-source program transformation for optimization and

  * Algebra of programming.

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

  * 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.
 - CPUs, GPUs, ASICs or FPGAs 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), contingent on the availability of funds.  Other
mutually agreed arrangements are possible.  In any case, 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 Ángel Herranz (aherranz at


Candidates are kindly asked to send an email to Ángel Herranz
(aherranz at fi.upm.es) with the following content:

 - A PDF (max size 5Mb) or plain text file containing their Research
 - A PDF file containing their CV (max size: 5Mb).
 - A list of names and contact data of persons that can provide
   references about you and their work.

Applications must be received by November 17th, 2013 to receive full
consideration.  However, applications will continue to be accepted
until the positions are filled.


An internationally competitive salary will be offered, negotiated with
the candidate.  Selected candidates will have access to an excellent
public healthcare system.

Work Environment

UPM team in the POLCA project will work in close collaboration with
the IMDEA Software Institute (software.imdea.org). The School of
Computer Science of the UPM and the IMDEA Software Institute are
located in the vibrant area of Madrid, Spain, and offer an ideal
working environment where researchers can focus on developing new
ideas and projects. The working language is English.

UPM is Equal Opportunity Employers and strongly encourage applications
from a diverse and international community.  Both comply with the
European Charter for Researchers.
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org