[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 a one year postdoc position (possible extension for a second year) 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.

The positions are funded through the Canadian and the Quebec government at the
same levels as the federal and provincial  scholarships and are part of two
related projects:

* Proofware: establishing trustworthy computing through programming with
 proofs

* Promis : Théorie des preuves à la pratique de la démonstration automatique

The postdoc position is available immediately and we are looking to fill it by 1
Sept, 2012 the latest.

 McGill University is the top research university in Canada (tied with
U. of Toronto) and  ranks consistently among the top 25 universities
in the world.  It 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 for prospective students:

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

If interested, send a brief reseach statement, CV to Brigitte Pientka
(bpientka at cs.mcgill.ca)  by 1 May, 2012. Additional material, such as letters of
recommendation, will be requested if necessary. Early expression of interest is
encouraged.  Fluency in French is an asset, but is not required.