Postdoc position in Oslo: "Computability and Complexity in
Type Theory"

There is a post doc position available at the Department of Mathematics, the University of Oslo in connection with the research project "Computability and Complexity in Type theory".

The deadline for application is October 1. The position is vacant from January 1, 2007 and through 2009. For more information, see the announcement on the web-page: http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/, or contact Dag Normann at dnormann at math.uio.no.