### Logic List Mailing Archive

## PhD student position in logic and graph theory, Berlin (Germany), Deadline: 28 August 2011

FULLY FUNDED PH.D. STUDENTSHIP IN LOGIC AND GRAPH THEORY AT THE TECHNICAL
UNIVERSITY BERLIN
* 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.