PhD student position (2y) in computational models over the real numbers, Cottbus (Germany)

At the Faculty Mathematics, Natural Sciences and Computer Science of the Brandenburg University of Technology in Cottbus, in the Professorship of Theoretical Computer Science (Prof. Dr. K. Meer) the following position is to be filled as soon as possible: Scientific Assistant, temporary limited for 2 years; E 13 TV-L, reference number: 35/11.

The position is a third-party funded project position financed by the German Science Foundation DFG. It is devoted to the study of interactive and probabilistically checkable proofs in computational models over the real numbers. Starting point are the well-known characterizations of complexity classes like PSPACE and NP by such proof systems in the Turing model. In the project it should be investigated in how far comparable characterizations exist in uncountable structures like the real numbers and related computational models. This in particular is interesting in relation to approximability questions. The position includes the possibility to work towards a PhD degree.

Applications must be received before 06/07/2011. For more information, see http://www.tu-cottbus.de/btu/de/service/stellenausschreibungen/.