Logic List Mailing Archive

Postdoctoral or PhD student position in "Logical Foundations of Computer Science", Leipzig (Germany), Deadline: 15 Nov 2010

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. It is paid 
according to the pay scale TV-L EG13.

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 successful candidate
- must possess a Diploma or Master in computer science or related areas
   (e.g. mathematics);
- should have a good background in theoretical computer science and 
mathematics;
- should be interested in fundamental research questions in theoretical
   computer science and mathematics.

The position is suitable for candidates with or without a PhD.
For the latter, the possibility exists to do a PhD.

The post comes without teaching obligations, and knowledge of
the German language is not a requirement for the position.

Informal inquiries are welcome and should be directed to Markus Lohrey via
lohrey@informatik.uni-leipzig.de or +49/0341 97 32201.

Applications should
- contain a CV, a brief statement explaining the candidate's research 
interests,
   and references,
- be directed electronically to lohrey@informatik.uni-leipzig.de
Deadline for applications: November 15th, 2010