PhD student position in Computer Science, Informatics Institute, UvA

The PRG (http://www.science.uva.nl/research/prog/) is part of the Computing, System Architecture and Programming Laboratory. Guided by prof.dr. Jan Bergstra it is responsible for education and research in the area of programming methods and supporting software tools.

Recently NWO has approved the new research project `Thread Algebra for Strategic Interleaving' for which we are looking for a PhD candidate.

For more information, see http://www.science.uva.nl/~inge/ta4si040806.txt and http://www.science.uva.nl/~mbz/Projects/TASI/tasi.html