Postdoc and Programmer Positions - Model Checking Knowledge and Probability

Postdoctoral Fellow and Research Programmer positions are available at the School of Computer Science and Engineering, University of New South Wales.

The positions are associated to an Australian Research Council Linkage Grant funded project "Model Checking Logics of Knowledge and Probability in Pursuit-Evasion Games". The research will involve the development of model checking techniques for the logic of knowledge, probability and time, and their evaluation in the partner's application: pursuit-evasion games motivated from search and rescue mission planning problems.

Applications close : 28 March 2008. For more information, see http://www.cse.unsw.edu.au/~meyden/positions/