Postdoctoral or PhD student position in formal methods in multi-agent systems, Clausthal-Zellerfeld (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 led by Prof. Dr. Jürgen Dix (Germany) and Prof. Dr. Leon van der Torre (Luxembourg).

Candidates should hold a PhD in a field relevant to the project and have a strong background in logics, formal methods, game theory, or multi-agent systems. The position does not include any teaching duties. Depending of the strength of the candidate it is also possible to fill the position with a PhD student. In this case the candidate must hold an excellent MSc degree in a field relevant to the project.

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