Please note that this newsitem has been archived, and may contain outdated information or links.
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
Please note that this newsitem has been archived, and may contain outdated information or links.