Logic List Mailing Archive

Postdoc position in Oslo: "Computability and Complexity in Type Theory", deadline: Oct 1.

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", see the announcement on the
web-page:

http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/06-9060-MN-DoM-Postdoctor.html

The deadline for application is October 1. The position is vacant from
January 1, 2007 and through 2009.

Please inform potential applicants.

The announcement describes the procedure for application. If anyone wants
more information, please contact me on address

dnormann@math.uio.no

Dag Normann