[TYPES/announce] PhD position on "Certified Compilation for High Level Parallel Programming"

Frédéric Loulergue frederic.loulergue at univ-orleans.fr
Wed Jun 15 05:59:47 EDT 2011

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:

More information about the Types-announce mailing list