Postdoctoral Fellowship in Sydney for
"Logics of Knowledge and Belief"

A postdoctoral fellowship/research fellowship, supported by grants from the Australian Research Council, is available in applications of modal logic to distributed systems. The research conducted may encompass both proof theory for logics of knowledge and belief and algorithmic verification techniques based on these logics, including the development of a model checker and its application to the verification of knowledge-based programs and security protocols.

Applications should be submitted by July 26. Applicants should have, or be about to complete, a Ph.D. in computer science, or equivalent research experience appropriate to the project, and expertise in modal logic (particularly epistemic logic and temporal logic) and/or model checking.

For more informatin, see http://www.cse.unsw.edu.au/~meyden/positions or contact Assoc. Prof. Ron van der Meyden at meyden at cse.unsw.edu.au.