Logic List Mailing Archive

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

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