From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p59E124u004692 for ; Thu, 9 Jun 2011 16:01:02 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0HAMvR8E3Cpx5egWdsb2JhbABTnk0fh04UAQEWJiXHVoYjBJYUimo X-IronPort-AV: E=Sophos;i="4.65,341,1304287200"; d="scan'208,217";a="96476511" Received: from sucre.univ-orleans.fr ([194.167.30.94]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Jun 2011 16:00:53 +0200 Received: from localhost (localhost [127.0.0.1]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 781789441B; Thu, 9 Jun 2011 16:00:58 +0200 (CEST) Received: from sucre.univ-orleans.fr ([127.0.0.1]) by localhost (sucre.univ-orleans.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id BtaODVILTtnn; Thu, 9 Jun 2011 16:00:58 +0200 (CEST) Received: from smtps.univ-orleans.fr (smtps.univ-orleans.fr [194.167.30.152]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 5A6F194419; Thu, 9 Jun 2011 16:00:58 +0200 (CEST) Received: from macp-dabro2.univ-orleans.fr (unknown [192.168.80.162]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 1D95936E60; Thu, 9 Jun 2011 16:00:55 +0200 (CEST) From: =?iso-8859-1?Q?Fr=E9d=E9ric_Dabrowski?= Content-Type: multipart/alternative; boundary=Apple-Mail-1-755854229 Reply-To: =?iso-8859-1?Q?Fr=E9d=E9ric_Dabrowski?= , =?iso-8859-1?Q?LOULERGUE_Fr=E9d=E9ric?= , Kiminori Date: Thu, 9 Jun 2011 16:00:52 +0200 Message-Id: To: haskell , caml Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) Subject: [Caml-list] PhD position on "Certified Compilation for High Level Parallel Programming" --Apple-Mail-1-755854229 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii The Computer Science Laboratory of Orleans in the University of Orleans (Fr= ance) and the School of Information in the Kochi University of Technology are loo= king for a PhD researcher (3 years: 2 in France, 1 in Japan) to work on the "Parallel Program Development with Algorithmic Skeletons" pr= oject (PaPDAS) funded by the Agence Nationale de la Recherche (ANR) and the Japan Science and Technology agency (JST). The deadline for application is the 20th of June, 2011. Further information and application requirements: http://traclifo.univ-orleans.fr/PaPDAS= --Apple-Mail-1-755854229 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii The Computer Science Laboratory of Orleans in the University of Orleans (France)
and the School of Information in the Kochi University of Technology are looking for

a PhD researcher (3 years: 2 in France, 1 in Japan)

to work on the "Parallel Program Development with Algorithmic Skeletons" project
(PaPDAS) funded by the Agence Nationale de la Recherche (ANR) and the Japan
Science and Technology agency (JST).

The deadline for application is the 20th of June, 2011.

Further information and application requirements:
http://traclifo.univ-orleans.fr/PaPDAS --Apple-Mail-1-755854229--