PhD student position in logic and graph theory, Berlin (Germany)

The Logic and Semantics Research Group at the Institute for Software Engineering and Theoretical Computer Science at the Technical University, Berlin, Germany, is offering a fully funded Ph.D. studentship in the area of logic or graph theory.

The research pursued in the group revolves around finite and computational model theory, algorithmic and structural graph theory, database theory, automata-theory and temporal and modal logics in the context of verification.

The closing date for applications is 28th August 2011. See http://logic.las.tu-berlin.de/ for further information. Or contact Stephan Kreutzer at stephan.kreutzer at tu-berlin.de.