PhD and MSc Positions at Simon Fraser University

[James Delgrande]

            Graduate Student Research Positions
         in Knowledge Representation and Reasoning
                  and Computational Logic

                School of Computing Science
                  Simon Fraser University
                 British Columbia,  Canada

Applications are invited for several graduate student positions in Knowledge
Representation and Reasoning, specifically, and more broadly in Computational
Logic in the School of Computing Science, Simon Fraser University. The
successful applicants will work with members of the Computational Logic Lab,
and conduct research in one or more of the areas listed below.

The Computational Logic Lab is a research group in the School of Computing
Science.  Broadly, the field of computational logic consists of all uses of
logic in computer science.  Members of the lab, and their areas of interest
are as follows:

Andrei Bulatov: Constraint satisfaction, complexity of computation
http://www.cs.sfu.ca/~abulatov/

James Delgrande: Belief revision, reasoning about action and change,
nonmonotonic reasoning, reasoning with preferences
http://www.cs.sfu.ca/~jim

David Mitchell:  Constraint satisfaction, propositional satisfiability
testing, theorem proving, complexity.
http://www.cs.sfu.ca/~mitchell

Oliver Schulte: Machine learning, computational decision theory.
http://www.cs.sfu.ca/~oschulte

Eugenia Ternovska: Logical reasoning about dynamic systems, constraint
programming, applications of descriptive complexity to declarative
programming
http://www.cs.sfu.ca/~ter

Ph.D. students will receive funding for at least four years, while M.Sc.
students will receive funding for at least 20 months.  The normal starting
date is at the beginning of September, with January also a possibility.
Students interested in beginning in September 2018 should apply no later than
Feb 1, 2018, ideally sooner.

The School of Computing Science has over 40 research faculty members, and
offers an expanding graduate program with over 200 M.Sc. and Ph.D. students.
Simon Fraser University is consistently the top ranked comprehensive
university in Canada in MacLeans Magazine's rankings. The university is
situated on top of Burnaby Mountain just east of Vancouver and offers views
of Burrard Inlet, the North Shore Mountains, the Fraser River, and Vancouver
Harbour. Vancouver's cultural and intellectual pursuits, leisure
opportunities and favourable climate make it one of the most desirable
places in the world to live and work.

Graduate student applications should be submitted via the School's online
application system. Prospective applicants should also directly contact a
faculty member with whom they may be interested in working.

For more information about the School of Computing Science, see www.cs.sfu.ca.