---------- Forwarded message ---------- 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 loh...@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 loh...@informatik.uni-leipzig.de Deadline for applications: November 15th, 2010 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
