From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 B91437F75C for ; Mon, 22 Sep 2014 12:50:03 +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=157.56.112.247; 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 157.56.112.247 as permitted sender) identity=mailfrom; client-ip=157.56.112.247; 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: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@emea01-am1-obe.outbound.protection.outlook.com designates 157.56.112.247 as permitted sender) identity=helo; client-ip=157.56.112.247; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mael@di.ku.dk"; x-sender="postmaster@emea01-am1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsUIACz+H1SdOHD3amdsb2JhbABggkgjdlcEgn2zFAaPVYRhiEweARENCwoGFCsBg3shESYeChYYNwIdBxIBBQEoAQwaCIVUgkgBDJ5Ngk0BGTQsJwIYijcBAXeWBwSBP4RKhlGGJw8DgUEFlg+HB4FhjAOFfBgphRRqgUiBAgEBAQ X-IPAS-Result: AsUIACz+H1SdOHD3amdsb2JhbABggkgjdlcEgn2zFAaPVYRhiEweARENCwoGFCsBg3shESYeChYYNwIdBxIBBQEoAQwaCIVUgkgBDJ5Ngk0BGTQsJwIYijcBAXeWBwSBP4RKhlGGJw8DgUEFlg+HB4FhjAOFfBgphRRqgUiBAgEBAQ X-IronPort-AV: E=Sophos;i="5.04,571,1406584800"; d="scan'";a="80419142" Received: from mail-am1hn0247.outbound.protection.outlook.com (HELO emea01-am1-obe.outbound.protection.outlook.com) ([157.56.112.247]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 22 Sep 2014 12:50:02 +0200 Received: from AMSPR04CA004.eurprd04.prod.outlook.com (10.242.77.152) by DB3PR04MB140.eurprd04.prod.outlook.com (10.242.129.154) with Microsoft SMTP Server (TLS) id 15.0.1034.13; Mon, 22 Sep 2014 10:50:00 +0000 Received: from DB3FFO11FD001.protection.gbl (2a01:111:f400:7e04::161) by AMSPR04CA004.outlook.office365.com (2a01:111:e400:8000::24) with Microsoft SMTP Server (TLS) id 15.0.1034.13 via Frontend Transport; Mon, 22 Sep 2014 10:50:00 +0000 Received: from exchange.ku.dk (130.225.206.173) by DB3FFO11FD001.mail.protection.outlook.com (10.47.216.90) with Microsoft SMTP Server (TLS) id 15.0.1029.15 via Frontend Transport; Mon, 22 Sep 2014 10:50:00 +0000 Received: from mail-vc0-f179.google.com (172.28.4.4) by Exchange.ku.dk (172.28.3.165) with Microsoft SMTP Server (TLS) id 14.3.195.1; Mon, 22 Sep 2014 12:49:54 +0200 Received: by mail-vc0-f179.google.com with SMTP id la4so3645020vcb.10 for ; Mon, 22 Sep 2014 03:49:52 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.220.146.205 with SMTP id i13mr10496601vcv.25.1411382992782; Mon, 22 Sep 2014 03:49:52 -0700 (PDT) Received: by 10.53.5.9 with HTTP; Mon, 22 Sep 2014 03:49:52 -0700 (PDT) Date: Mon, 22 Sep 2014 12:49:52 +0200 Message-ID: From: Martin Elsman To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="047d7b342d32ed4ccc0503a53541" X-Originating-IP: [172.28.4.4] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:130.225.206.173;CTRY:DK;IPV:CAL;IPV:NLI;EFV:NLI;SFV:SPM;SFS:(10019020)(438002)(111735001)(44134004)(189002)(199003)(512874002)(93516999)(55446002)(44976005)(15974865002)(20776003)(50986999)(19300405004)(85306004)(54356999)(959005)(63696999)(84326002)(74662003)(4396001)(99396002)(74482002)(87936001)(81342003)(80022003)(74502003)(90102001)(15975445006)(881003)(64706001)(19580395003)(107046002)(61266001)(107886001)(102836001)(229853001)(26826002)(31966008)(77096002)(15202345003)(6806004)(19580405001)(69596002)(2009002)(83322001)(79102003)(42186005)(40036004)(92726001)(76482002)(19617315012)(86362001)(21056001)(110136001)(83072002)(110126003)(98316002)(46102003)(18206015026)(81542003)(77982003)(109986003)(92566001)(61726006)(15395725005)(71186001)(110146005)(95666004)(106466001)(81156004)(85852003)(120916001)(109956005)(110116006)(71626003);DIR:OUT;SFP:1501;SCL:5;SRVR:DB3PR04MB140;H:exchange.ku.dk;FPR:;MLV:ovr;PTR:unicph-gw.ku.dk;MX:1;A:1;LANG:en; X-Microsoft-Antispam: UriScan:; X-Microsoft-Antispam: BCL:0;PCL:0;RULEID:;SRVR:DB3PR04MB140; X-Forefront-PRVS: 034215E98F Authentication-Results: spf=pass (sender IP is 130.225.206.173) smtp.mailfrom=mael@di.ku.dk; X-OriginatorOrg: di.ku.dk X-Validation-by: martin.elsman@gmail.com Subject: [Caml-list] Vacancy: New HIPERFIT PhD Scholarship Available --047d7b342d32ed4ccc0503a53541 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The HIPERFIT Research Center seeks a new excellent PhD student for working within the area of High-Performance Functional Programming. Below follows some more detailed information about the scholarship; see also the announcement at the HIPERFIT home page: http://hiperfit.dk/news/2014/09/22/new-hiperfit-phd-scholarship/ For information about the application procedure, and the scholarship in general, please consult the general announcement available at http://www.diku.dk/ominstituttet/ledige_stillinger/phd-scholarships-within-= computer-science The application deadline is October 10, 2014 (23:59, timezone: LINT =3D UTC+14). Best Regards, On behalf of HIPERFIT, Martin Elsman HIPERFIT Research Center 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 in High-Performance Functional Programming [image: HIPERFIT dinner] The PhD student will be working in the Research Center for Functional High-Performance Computing for Financial Information Technology ( 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. [image: HIPERFIT workshop]The candidate must =E2=80=93 in addition to the qualifications listed below =E2=80=93 have a solid academic background in t= he 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 1st November 2014 or as soon as possible thereafter. Enquiries about the position can be made to Professor Fritz Henglein, e-mail henglein@di.ku.dk, phone +45 30589576. --047d7b342d32ed4ccc0503a53541 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The HIPERFIT=C2=A0Research=C2=A0Center=C2=A0seeks=C2=A0a=C2=A0= new=C2=A0exce= llent=C2=A0Ph= D=C2=A0student for
working within the area of High-Performanc= e Functional Programming.

Below follows some more detailed infor= mation about the scholarship;
see also the announcement at the HIPERFIT = home page:


For information about the app= lication procedure, and the scholarship
in general, please consul= t the general announcement available at


The application deadline is October 10, 2014 (23:59, timezone: LINT =3D<= /div>
UTC+14).

Best Regards,

On behalf of= HIPERFIT,

Martin Elsman
HIPERFIT Research Center Manager= , Associate Professor
Department of Computer Science
University of Co= penhagen
Denmark

Fritz Henglein
HIPERFIT Director, Profess= or
Department of Computer Science
University of Copenhage= n
Denmark

--

PhD scholarship in High-Performance Functiona= l Programming

3D"HIPERFIT

The PhD student will= be working in the Research Center for Functional High-Performance Computin= g for Financial Information Technology (www.hiperfit.dk). = The PhD scholarship is funded by the Danish Council for Strategic Research = and will be carried out at=C2=A0DIKU=C2=A0in formal collaborat= ion with the Department of Mathematical Sciences and the Niels Bohr Institu= te, University of Copenhagen and several finance it-partners in the Copenha= gen area. The objective of the PhD project is to develop, implement and eva= luate techniques related to executing, efficiently and safely, high-level, = functional specifications of both numeric and symbolic computations on mode= rn, highly parallel computational platforms such as multi- and many-core CP= Us, GPGPUs and FPGAs.

3D"HIPERFITThe candidate= must =E2=80=93 in addition to the qualifications listed below =E2=80=93 ha= ve a solid academic background in the relevant areas of computer science, a= s demonstrated by academic courses and project/thesis work related to sever= al of the following areas: Functional programming, programming language the= ory, and compilers. Experience with either high-performance computing, math= ematical finance, domain-specific language or parallel algorithms is desira= ble, but not required.

The position is available from 1st November 2014 o= r as soon as possible thereafter. Enquiries about the position can be made = to Professor Fritz Henglein, e-mail=C2=A0henglein@di.ku.dk, phone +45 30589576.

--047d7b342d32ed4ccc0503a53541--