* 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 closing date for applications is 28th August 2011. See
   http://logic.las.tu-berlin.de for further information.
* 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.
* Candidates must have a degree (master or diploma level) in
   Computer Science or Mathematics and must have a strong
   interest in theoretical computer science. Furthermore, candidates
   should have good knowledge in at least one of the following
   areas:
   - Structural or algorithmic graph theory, such as graph
     decompositions, graph minor theory or matroid theory,
     parametrized and general graph  algorithms.
   - Logic, broadly construed, in particular areas such as finite
     and computational model theory, automata theory, database
     theory and verification
* Good command of English is expected. Knowledge of German is not
   required.
* The position is fully funded. The successful candidate will be expected to
   participate in teaching for up to four hours a week during term time,
   usually in form of tutorials and assistance with reading courses.
* See http://logic.las.tu-berlin.de for further information on the application
   procedure.
* For further information please contact
   Stephan Kreutzer,
   email: stephan.kreutzer@tu-berlin.de,
   tel:       +49 30 314 29088.