PhD student position in theoretical computer science, Vienna (Austria)

There is a PhD Position in Theoretical Computer Science available within the FWF (Austrian Science Fund) project "Algorithms and Complexity of Constraint Languages" at Vienna University of Technology

You should have a master degree in computer science, mathematics, or equivalent, and you should be interested in the theoretical aspects of computer science. You are expected to write a PhD thesis in the area of our project; for a short description see http://www.fwf.ac.at/en/abstracts/abstract.asp?L=E&PROJ=I836 or look up keywords like "Schaefer's dichotomy theorem", "clones and co-clones" (algebra, not Dolly) and "computational complexity".

Salary for a 30h/week employment: EUR 26.600,- pre-tax per year
Duration: initially 1 year, up to a total of 3 years
Application deadline: August 31, 2012
Start of position: October 2012 or later

For more information, see http://www.vcla.at/2012/07/pre-doc-position-in-theoretical-computer-science/, or contact Gernot Salzer at salzer at logic.at.