[DMANET] PhD positions in Finite & Algorithmic Model Theory

Applications are invited for

PhD opportunities in Finite & Algorithmic Model Theory

in the Logic Group at TU Darmstadt, Germany.
Available positions offer the opportunity to work towards a PhD in
mathematics under the scientific direction of Prof Martin Otto,
primarily but not exclusively in the framework of a new DFG funded
research project on the algorithmic and finite model theory of
hypergraphs and of modal and guarded logics over graphs and hypergraphs,
see http://www3.mathematik.tu-darmstadt.de/index.php?id=1563&L=1.
Further topics of interest include Dr Achim Blumensath's DFG project on
the expressive power of monadic second-order logic.

See http://www3.mathematik.tu-darmstadt.de/index.php?id=2220&L=1
for further information.

The logic group in the mathematics department at TU Darmstadt offers a
considerable spectrum of expertise in various branches of mathematical
logic with an emphasis on connections with other areas of mathematics
and theoretical computer science.

Informal preliminary inquiries by email are welcome and should be
directed to otto@mathematik.tu-darmstadt.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************