[TYPES/announce] Postdoc / PhD position in Computer Science, McGill University

[Brigitte Pientka]

==================================================
POSTDOC / PHD POSITION IN COMPUTER SCIENCE

School of Computer Science
McGill University, Montreal, Canada
=================================================

 We have one 2-year postdoc position and one funded PhD position in
the area of of logical frameworks, type theory, and programming
languages. Applicants should have a background in at least one of the
following areas: logic, type systems,  logical frameworks, theorem
proving and/or design and implementation of functional programming
languages.

 McGill University is the top research university in Canada (tied with
U. of Toronto, based Macleans's 2005 rankings) and is the only
Canadian university to rank consistently among the top 25 universities
in the world (most recently it was ranked 12th in Times Higher-QS ranking).

 McGill is an English language university located in the heart of
Montreal, the second largest French-speaking city in the world.
Montreal has a reputation for its cosmopolitan atmosphere, history,
cultural and sport activities, and excellent restaurants.  The city
consistently ranks among the most livable cities in world, and the
cost of living is among the lowest for cities of its size.

For more information concerning the projects we are working on, please see

Computation and Logic Group
http://complogic.cs.mcgill.ca

For more information for prospective students:

http://www.cs.mcgill.ca/prospective-students/graduate/GeneralInfo

If interested, please contact for more information Brigitte Pientka
(bpientka at cs.mcgill.ca) together with a brief research statement and
CV.