### Logic List Mailing Archive

## PhD student position (2y) in computational models over the real numbers, Cottbus (Germany), Deadline: 6 July 2011

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
Description of tasks: 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.
Requirements: Diploma or Master of Science degree or Bachelor of Science
with permission for a PhD track in Computer Science or Mathematics. Solid
knowledge of theoretical computer science, and here in particular of
complexity theory and/or the theory of approximation algorithms. Ideally
the successful candidate has already some knowledge about real number
models and/or the PCP theorem. Interest to do research.
BTU Cottbus welcomes an increase in the share of women and encourages
qualified female scientists to apply.
Disabled applicants are preferred if all other qualifications are equal.
The application, under reference number and enclosing stamped addressed
envelope, should be sent within a period of 4 weeks after publishing this
job advertisement to:
Dekan der Fakultt Mathematik, Naturwissenschaften und Informatik, BTU
Cottbus, Postfach 101344, 03013 Cottbus. For further details please
contact Prof.Dr. K.Meer, email:meer@informatik.tu-cottbus.de
Gltig bis zum: 06.07.2011