Logic List Mailing Archive

Postdoc and programmer position, "Model-Checking Logics", Sydney (Australia)

Postdoc and programmer positions are available in the School of Computer 
Science and Engineering, University of New South Wales, Sydney, Australia.

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.

For details, see http://www.cse.unsw.edu.au/~meyden/positions/.


Ron van der Meyden

School of Computer Science and Engineering
University of New South Wales
Sydney 2052
Australia
email: meyden@cse.unsw.edu.au
www: http://www.cse.unsw.edu.au/~meyden
phone: +61 2 8306 0460
fax:   +61 2 8306 0405

Snail Mail: Locked Bag 6016,
The University of New South Wales,
Sydney NSW 1466, Australia

UNSW Legal disclaimer:
http://www.eng.unsw.edu.au/emaildis.htm
CRICOS Provider Code: 00098G