Graduate Student and Post-Doctoral Positions in Computational Logic at Simon Fraser University, Canada

[Jim Delgrande]

       Graduate Student and Post-Doctoral Positions
                  in Computational Logic

                School of Computing Science
                  Simon Fraser University
                 British Columbia,  Canada

Applications are invited for graduate student or postdoctoral positions in
the area of 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.

Ph.D. students will receive funding for up to a four year period, while
M.Sc. students will receive funding for up to two years.  Postdoctoral
positions will be either one or two years.  Postdoctoral applicants must have
a Ph.D. at the time they take up the position. For graduate students, the
normal starting dates are at the beginning of September or January, with May
also a possibility. Students interested in beginning in September 2013 should
apply no later than Feb 1, 2013, ideally sooner. Postdoctoral positions may
be taken up at any time.

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

For more information see the lab web page: www.cs.sfu.ca/~cl.

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 whom they may be interested in working with. Potential
postdoctoral fellows should also directly contact the appropriate faculty
member.

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