PhD student positions in finite and algorithmic model theory, Darmstadt (Germany)

Applications are invited for PhD student positions 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. Further topics of interest include Dr Achim Blumensath's DFG project on the expressive power of monadic second-order logic.

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.

See http://www3.mathematik.tu-darmstadt.de/index.php?id=2220&L=1 for further information. Informal preliminary inquiries by email are welcome and should be directed to otto at mathematik.tu-darmstadt.de