Postdoc in Knowledge Representation and Reasoning, Simon Fraser University (Canada)

Applications are invited for a Postdoctoral Fellowship in the area of Knowledge Representation and Reasoning at the School of Computing Science, Simon Fraser University, in the project "Belief Change in Knowledge-Based Agents". The successful applicant(s) will collaborate with Prof. James Delgrande and other members of the Computational Logic Lab, and will conduct research in one or more of the following areas:

1. Theory and Application of Belief Change
Specific projects include incorporating relevance in belief change, foundations of revision in first-order logic, and revision in fragments of first-order logic, specifically dealing with description logics and their application in medical ontologies.

2. Defeasible Reasoning
One project addresses nonmonotonic reasoning in a description logic, while a second concerns defeasible deontic reasoning

3. Reasoning in a Theory of Action with Unreliable Actions and Sensors
This project involves suitably extending the situation calculus, ideally incorporating the theory in a robot control language (presumably extending GOLOG).

Applicants must have a Ph.D. in Computer Science or a related area at the time they take up the position. As well, applicants must have a strong background in knowledge representation and (ideally) in logic.

The position is for one year and can be extended for up to two additional years. The starting time is flexible but ideally will begin Fall 2018 or early in 2019. Review of applications begins immediately until the position is filled.

The annual stipend for these postdocs is not less than Cdn $40,000 (inclusive of benefits). The candidate may teach a one-semester course for an additional (approximately) $10,000 stipend. Travel funds will also be available.

Applications should include a curriculum vitae, statement of research interests, names and email addresses of 3 referees, and recent publication samples. Please send applications to James Delgrande <jim at cs.sfu.ca>.

Simon Fraser University is situated on top of Burnaby Mountain in metropolitan Vancouver, one of the most livable cities in the world. It affords easy access to a wide variety of outdoor recreations, as well as the cultural richness of Vancouver. The School of Computing Science has consistently ranked among the top computer science departments in Canada and internationally. The School currently has 52 faculty members and approximately 250 Ph.D. and M.Sc.students. For more information about the School, see http://www.cs.sfu.ca.