Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.