Hoi hoi, haskellers! Our friends from UPM just sent the following PhD/Postdoc offer. Goed weekend!! Ivan -- 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 fields: * Source-to-source program transformation for optimization and parallelism. * 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 fi.upm.es). Applying -------- 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 statement. - 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. Salary ------ 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.