Post Doctor in Mathematics at the University of Oslo

The position is vacant from January 1. 2007 and the duration is for 3 years. The position is associated with the project Computability and Complexity in Type Theory lead by Dag Normann and funded by the Norwegian Research Council.

Deadline: October. 1. 2006. For more information, see http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/