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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 425F77F720 for ; Tue, 15 Apr 2014 14:14:04 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mael@di.ku.dk) identity=pra; client-ip=213.199.154.206; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mael@di.ku.dk"; x-sender="mael@di.ku.dk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mael@di.ku.dk designates 213.199.154.206 as permitted sender) identity=mailfrom; client-ip=213.199.154.206; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mael@di.ku.dk"; x-sender="mael@di.ku.dk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@am1outboundpool.messaging.microsoft.com) identity=helo; client-ip=213.199.154.206; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mael@di.ku.dk"; x-sender="postmaster@am1outboundpool.messaging.microsoft.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqQBAOEhTVPVx5rOlWdsb2JhbABYg0FXgxCCYr5PHg4BAQEBBw0JCRIpAYIdIRFECi43AiQSAQUBKAEUEgiFVIIGBAmaKIJHSFABAYpFAQF1ow2LXIV9D4E6BJhigTaFKol2GCmEYYIp X-IPAS-Result: AqQBAOEhTVPVx5rOlWdsb2JhbABYg0FXgxCCYr5PHg4BAQEBBw0JCRIpAYIdIRFECi43AiQSAQUBKAEUEgiFVIIGBAmaKIJHSFABAYpFAQF1ow2LXIV9D4E6BJhigTaFKol2GCmEYYIp X-IronPort-AV: E=Sophos;i="4.97,864,1389740400"; d="scan'208";a="57213144" Received: from am1ehsobe003.messaging.microsoft.com (HELO am1outboundpool.messaging.microsoft.com) ([213.199.154.206]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 15 Apr 2014 14:14:03 +0200 Received: from mail28-am1-R.bigfish.com (10.3.201.247) by AM1EHSOBE008.bigfish.com (10.3.204.28) with Microsoft SMTP Server id 14.1.225.22; Tue, 15 Apr 2014 12:13:24 +0000 Received: from mail28-am1 (localhost [127.0.0.1]) by mail28-am1-R.bigfish.com (Postfix) with ESMTP id 89CEFE00A8 for ; Tue, 15 Apr 2014 12:13:24 +0000 (UTC) X-Forefront-Antispam-Report: CIP:130.225.206.176;KIP:(null);UIP:(null);IPV:NLI;H:exchange.ku.dk;RD:unicph-gw.ku.dk;EFVD:NLI X-SpamScore: 5 X-BigFish: VPS5(z37cemzc89bhc857h113dKzz1f42h2148h1ee6h1de0h1d18h1fdah2073h2146h1202h1e76h2189h1d1ah1d2ah21bch1fc6h208ch1082kz58hz177df4h17326ah2ba5I1de097h186068h1954cbhz2fh2a8h839hf0ahfa3h107ah1288h12a5h12bdh137ah1441h1504h152ch1537h153bh15a8h162dh1631h1758h17eeh1946h19b5h1b0ah1b2fh1bceh224fh1fb3h1d0ch1d2eh1d3fh1dc1h1dfeh1dffh1e1dh1fe8h1ff5h20f0h2216h22d0h2336h2438h2461h24d7h2516h2545h255eh25f6h2605h268bh26d3h15a9i1155h1554h181ch) Received: from mail28-am1 (localhost.localdomain [127.0.0.1]) by mail28-am1 (MessageSwitch) id 1397564002825716_15739; Tue, 15 Apr 2014 12:13:22 +0000 (UTC) Received: from AM1EHSMHS008.bigfish.com (unknown [10.3.201.242]) by mail28-am1.bigfish.com (Postfix) with ESMTP id BD3212005C for ; Tue, 15 Apr 2014 12:13:22 +0000 (UTC) Received: from exchange.ku.dk (130.225.206.176) by AM1EHSMHS008.bigfish.com (10.3.207.108) with Microsoft SMTP Server (TLS) id 14.16.227.3; Tue, 15 Apr 2014 12:13:22 +0000 Received: from mail-ve0-f172.google.com (172.28.4.2) by exchange.ku.dk (172.28.3.161) with Microsoft SMTP Server (TLS) id 14.3.174.1; Tue, 15 Apr 2014 14:13:58 +0200 Received: by mail-ve0-f172.google.com with SMTP id jx11so8933992veb.17 for ; Tue, 15 Apr 2014 05:13:56 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.52.249.105 with SMTP id yt9mr935242vdc.34.1397564036332; Tue, 15 Apr 2014 05:13:56 -0700 (PDT) Received: by 10.221.16.69 with HTTP; Tue, 15 Apr 2014 05:13:56 -0700 (PDT) Date: Tue, 15 Apr 2014 14:13:56 +0200 Message-ID: From: Martin Elsman To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="089e01536864efc64404f713bb89" X-Originating-IP: [172.28.4.2] X-OriginatorOrg: di.ku.dk X-FOPE-CONNECTOR: Id%0$Dn%*$RO%0$TLS%0$FQDN%$TlsDn% X-Validation-by: martin.elsman@gmail.com Subject: [Caml-list] Vacancies: Two New HIPERFIT PhD Scholarships Available --089e01536864efc64404f713bb89 Content-Type: text/plain; charset="UTF-8" The HIPERFIT Research Center seeks two new excellent PhD students for working within the area of High-Performance Functional Programming. Below follows some more detailed information about the scholarships; see also the announcement at the HIPERFIT home page: http://hiperfit.dk/news/2014/03/28/two-new-hiperfit-phd-scholarships/ For information about the application procedure, and the scholarships in general, please consult the general announcement available at http://www.diku.dk/english/about/vacancies/phd_scholar_cs_call_spring_2014/ The application deadline is April 22, 2014 (23:59, timezone: LINT = UTC+14). Best Regards, On behalf of HIPERFIT, Martin Elsman HIPERFIT Manager, Associate Professor Department of Computer Science University of Copenhagen Denmark Fritz Henglein HIPERFIT Director, Professor Department of Computer Science University of Copenhagen Denmark -- PhD scholarship(s) in High-Performance Functional Programming. The PhD student will be working in the Research Center for Functional High-Performance Computing for Financial Information Technology (http://www.hiperfit.dk). The PhD scholarship is funded by the Danish Council for Strategic Research and will be carried out at DIKU in formal collaboration with the Department of Mathematical Sciences and the Niels Bohr Institute, University of Copenhagen and several finance it-partners in the Copenhagen area. The objective of the PhD project is to develop, implement and evaluate techniques related to executing, efficiently and safely, high-level, functional specifications of both numeric and symbolic computations on modern, highly parallel computational platforms such as multi- and many-core CPUs, GPGPUs and FPGAs. The candidate must - in addition to the qualifications listed above - have a solid academic background in the relevant areas of computer science, as demonstrated by academic courses and project/thesis work related to several of the following areas: Functional programming, programming language theory, and compilers. Experience with either high-performance computing, mathematical finance, domain-specific language or parallel algorithms is desirable, but not required. The position is available from 1 July 2014 or as soon as possible thereafter. --089e01536864efc64404f713bb89 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The HIPERFIT Research Center seeks two new excellent = PhD students for
working within the area of High-Performance = Functional Programming.

Below follows some more de= tailed information about the scholarships;
see also the announcement at the HIPERFIT home page:


For information about the application procedure, a= nd the scholarships
in general, please consult the general announ= cement available at


The application deadline is April 22, 2014 (23:59, time= zone: LINT =3D
UTC+14).

Best Regar= ds,

On behalf of HIPERFIT,
Martin Elsman=
HIPERFIT Manager, Associate Professor
Department of Co= mputer Science
University of Copenhagen
Denmark

Fritz Henglein
HIPERFIT Director, Professor
Department of Computer Science
University of Copenhagen=
Denmark

--
PhD scholars= hip(s) in High-Performance Functional Programming.

The PhD student will be working in the Research Center for Functional<= /div>
High-Performance Computing for Financial Information Technology
(http://www.hiperfit.dk). T= he PhD scholarship is funded by the Danish Council
for Strategic Research and will be carried out at DIKU in formal
=
collaboration with the Department of Mathematical Sciences and the
Niels Bohr Institute, University of Copenhagen and several finance
it-partners in the Copenhagen area.

The objec= tive of the PhD project is to develop, implement and evaluate
tec= hniques related to executing, efficiently and safely, high-level,
functional specifications of both numeric and symbolic computations on=
modern, highly parallel computational platforms such as multi- a= nd
many-core CPUs, GPGPUs and FPGAs.

The candidate must - in addition to the qualifications listed above -
=
have a solid academic background in the relevant areas of computer
science, as demonstrated by academic courses and project/thesis work=
related to several of the following areas: Functional programming,
programming language theory, and compilers. Experience with either
high-performance computing, mathematical finance, domain-specific<= /div>
language or parallel algorithms is desirable, but not required.
<= div>
The position is available from 1 July 2014 or as soon as= possible
thereafter.
--089e01536864efc64404f713bb89--