Positions available
Research Programmer Positions
A position is available funded by an ARC Linkage grant Model Checking
Knowledge and Probability in Pursuit-Evasion Games with partner
Defence Research and Development Canada (Quebec).
The work on this position will involve further development of the MCK system, a model
checker for the logic of knowledge, adding probabilistic capabilities,
and its application to pursuit-evasion games motivated from search and
rescue mission planning.
Research Environment
These positions offer an opportunity to work in an exciting research
environment. The School of Computer Science and Engineering at UNSW is
one of Australia's leading schools of computer science. UNSW also
hosts one of the laboratories of the National ICT Australia research centre
of excellence in information and communication technologies. The
school and NICTA employ numerous researchers in areas cognate to these
positions, including formal methods and knowledge representation.
Professor 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