Universiteit van Amsterdam

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

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

Location: School of Computer Science and Engineering,
University of New South Wales,
Sydney, Australia

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 .

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