Postdoctoral or PhD student position in "Logical Foundations of Computer Science", Leipzig (Germany)

The Department of Mathematics and Computer Science at the University of Leipzig, Germany, announces an open full-time position (research assistant) in the group "Algebraic and Logical Foundations of Computer Science" (Prof. Dr. Markus Lohrey).

The position is funded via the DFG research project "Graphs with decidable logics", and is available for 3 years starting January 2011. The project investigates infinite graphs with finite presentations (e.g. automatic graphs, various transition graphs of infinite state systems, etc.) with decidable logics (first-order logic, monadic second-order logic, temporal logics, etc.) and in particular the complexity of the model checking problem. The post comes without teaching obligations, and knowledge of the German language is not a requirement for the position.

Deadline for applications: November 15th, 2010. For more information, see http://www.informatik.uni-leipzig.de/~lohrey/ausschreibung.html. Informal inquiries are welcome and should be directed to Markus Lohrey via lohrey at informatik.uni-leipzig.de.