[loginf] Open position at University of Leipzig

Markus Lohrey lohrey at informatik.uni-leipzig.de
Mon Oct 11 10:00:51 CEST 2010

  *** apologies for multiple copies ***

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 
- 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 at informatik.uni-leipzig.de or +49/0341 97 32201.

Applications should
- contain a CV, a brief statement explaining the candidate's research 
   and references,
- be directed electronically to lohrey at informatik.uni-leipzig.de.

Deadline for applications: November 15th, 2010

More information about the loginf mailing list