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