Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position on "Certified Compilation for Hig...


view this post on Zulip Email Gateway (Aug 18 2022 at 17:52):

From: Frédéric Dabrowski <frederic.dabrowski@univ-orleans.fr>
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


Last updated: Nov 21 2024 at 12:39 UTC