From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5B037820A1 for ; Wed, 28 Aug 2013 02:12:11 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of manuel.carro@imdea.org) identity=pra; client-ip=138.100.8.76; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manuel.carro@imdea.org"; x-sender="manuel.carro@imdea.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of manuel.carro@imdea.org does not assert whether or not 138.100.8.76 is permitted sender) identity=mailfrom; client-ip=138.100.8.76; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manuel.carro@imdea.org"; x-sender="manuel.carro@imdea.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay3.fi.upm.es) identity=helo; client-ip=138.100.8.76; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manuel.carro@imdea.org"; x-sender="postmaster@relay3.fi.upm.es"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwAAPU+HVKKZAhMkWdsb2JhbABZgzyDeL47DgEBAQEJCwsHFAUjgiYoPkUIAgUUDQIRAQQ1O4dtBAiXN45/kkmBKZEqgTEDl2+BLYsKiEs X-IPAS-Result: AkwAAPU+HVKKZAhMkWdsb2JhbABZgzyDeL47DgEBAQEJCwsHFAUjgiYoPkUIAgUUDQIRAQQ1O4dtBAiXN45/kkmBKZEqgTEDl2+BLYsKiEs X-IronPort-AV: E=Sophos;i="4.89,971,1367964000"; d="scan'208";a="30584905" Received: from relay.fi.upm.es (HELO relay3.fi.upm.es) ([138.100.8.76]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 28 Aug 2013 02:12:10 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by relay3.fi.upm.es (Postfix) with ESMTP id 6C6BDACDA75; Wed, 28 Aug 2013 02:12:09 +0200 (CEST) X-Virus-Scanned: by amavisd-new using ClamAV at efiltro.fi.upm.es Received: from mail1.fi.upm.es (mail1.fi.upm.es [138.100.243.142]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by relay3.fi.upm.es (Postfix) with ESMTP id 227C7ACDA74; Wed, 28 Aug 2013 02:12:09 +0200 (CEST) Received: from mcl-laptop (unknown [81.213.126.217]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by mail1.fi.upm.es (Postfix) with ESMTP id D9B28AF0669; Wed, 28 Aug 2013 02:11:11 +0200 (CEST) From: Manuel Carro To: mcarro@fi.upm.es User-Agent: Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.2 (gnu/linux) Date: Wed, 28 Aug 2013 02:10:54 +0200 Message-ID: <7s38pusmi9.fsf@imdea.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: manuel.carro@imdea.org Subject: [Caml-list] PhD/Postdoc in programming models for heterogeneous infrastructures The IMDEA Software Institute (software.imdea.org) and the Universidad Polit=C3=A9cnica de Madrid (www.upm.es/internacional) have openings at the Ph.D. and post-doctoral levels within the 3-year POLCA (Programming Large Scale Heterogeneous Infrastructures) European project, starting 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 fields: * High-level architectural and system-design languages (such as Clash or ForSyDe). * Source-to-source program transformation for optimization and parallelism. * 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) in the case of post-doctoral candidates, and for up to four years in the case of PhD students, 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 Manuel Carro (manuel.carro at imdea.org). Applying -------- Candidates are kindly asked to submit their application through the URL: https://careers.imdea.org/software/ When completing your application, please indicate "POLCA Project" as one of the research lines. Applications must be received by September 5th, 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 ---------------- The IMDEA Software Institute and the School of Computer Science of the UPM 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. For more information on the organizations, please visit the web pages of the IMDEA Software Institute at http://software.imdea.org and the Universidad Polit=C3=A9cnica de Madrid at http://www.upm.es/internacional . The IMDEA Software Institute and the UPM are Equal Opportunity Employers and strongly encourage applications from a diverse and international community. Both comply with the European Charter for Researchers.