Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 () and to visit the website of the research group at http://cig.in.tu-clausthal.de.

Please note that this newsitem has been archived, and may contain outdated information or links.