Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD position on "Certified Compilation for High Level Parallel Programming"

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position on "Certified Compilation for High Level Parallel Programming"


chronological Thread 
  • From: Fr�d�ric Dabrowski <frederic.dabrowski AT univ-orleans.fr>
  • To: Coq <coq-club AT inria.fr>, concurrency <concurrency AT listserver.tue.nl>, isabelle <cl-isabelle-users AT lists.cam.ac.uk>
  • Subject: [Coq-Club] PhD position on "Certified Compilation for High Level Parallel Programming"
  • Date: Tue, 7 Jun 2011 13:46:47 +0200

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



Archive powered by MhonArc 2.6.16.

Top of Page