Postdoctoral position in Computational Logic, Simon Fraser University, Vancouver (Canada)

Applications are invited for Post-Doctoral Fellowships supporting work on the MX Project, in the Computational Logic Laboratory at Simon Fraser University. The goal of the MX Project is to develop effective techniques for modelling and solving of search and optimization problems using logic. Between 1 and 3 fellowships will be offered, depending upon final level of funding and availability of suitable candidates.

For more information, see the project page at http://www.cs.sfu.ca/research/groups/mxp/. To ensure full consideration, apply by February 10, 2007.