[TYPES/announce] Postdoc/Research Associate in logical frameworks

Brigitte Pientka bpientka at cs.mcgill.ca
Thu Oct 25 22:34:22 EDT 2012


School of Computer Science
McGill University, Montreal, Canada

We have a one year postdoc/research associate position (possible
extension for a second year) 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.  We in particular are
looking for applicants who will actively participate in the implementation and
development of the Beluga language, a dependently typed  programming and proof

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

* Proofware: establishing trustworthy computing through programming with

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

The postdoc/research associate position is available immediately and
we are looking to fill it by 1
Feb, 2013.

 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 agout graduate and postgraduate studies:


If interested, send a brief research statement, CV to Brigitte Pientka
(bpientka at cs.mcgill.ca)  by 15 Nov, 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 mailing list