Postdoctoral position (1y) in Logics and Formal Methods, Clausthal (Germany)

The Department of Informatics at Clausthal University of Technology is seeking to hire a postdoctoral research fellow or PhD student. The position is associated with a DFG/FNR-funded project on Game Logics and Formal Methods for Multi-Agent Systems.

The position is associated with the Computational Intelligence Group chaired by Prof. Dr. Jürgen Dix at the Department of Informatics at Clausthal University of Technology. The position does not include any teaching duties. The appointment is full-time for a period of 1 year and to be filled as soon as possible.

The deadline for applications is Monday, 15th July 2013. A PDF version of the full announcement can be found here: http://www.in.tu-clausthal.de/fileadmin/homes/CIG/pos_13_maslogic.pdf. For further information please feel free to contact Dr. Nils Bulling (bulling at in.tu-clausthal.de) and to visit the website of the research group at http://cig.in.tu-clausthal.de.