Postdoc in Knowledge Representation at Simon Fraser University, Canada

[James Delgrande]

                 Post-Doctoral Fellowship

          Knowledge Representation and Reasoning

               School of Computing Science
                Simon Fraser University
               British Columbia, 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 www.cs.sfu.ca.

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20180705/1f90f787/attachment.html>