[TYPES/announce] Postdoc / PhD position in Computer Science, McGill University
bpientka at cs.mcgill.ca
Thu Apr 12 18:47:17 EDT 2012
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
* Proofware: establishing trustworthy computing through programming with
* 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:
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.
More information about the Types-announce