Post doc position in verification at St. Francis Xavier University, Canada

A two-year postdoctoral position for research in verification is available at St. Francis Xavier University, Antigonish, Canada, in a collaborative university/industry multi-year project in modeling and reasoning about dynamically changing processes. The project involves modeling and verifying intelligent and adaptive workflow processes with particular reference to distributed processes that require run time monitoring and, by their nature, are highly variable. Motivating applications will be taken from the health care field.

Application material should be sent by January 1, 2009. For more information, check out http://www.logic.stfx.ca/opp-3.html and/or contact Wendy MacCaull at wmaccaul at stfx.ca.