News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD-position Theoretical Computer Science at VU Amsterdam

In the Section of Theoretical Computer Science of the Vrije Universiteit in Amsterdam there is a PhD-position available on the research project "Proving Equations For Cyclic Objects". Supervisors J.W. Klop and R.C. de Vrijer. Applications by May, 1, 2005.

For more information, see http://www.cs.vu.nl/tcs/vacancies-en.html

Please note that this newsitem has been archived, and may contain outdated information or links.