Professorship in Mathematical Logic, Stockholm (Sweden)

Stockholm University announces a position as Professor in Mathematical Logic within the Department of Mathematics. The subject comprises both the logical study of the deductive structure of mathematics, and the mathematical study of formal logical systems. In addition, it deals with the use of logic in computer science.

The position holder is expected to work at developing the relations between the Mathematics Department and theoretical computer science at NADA and other institutions in the Stockholm area. Since most professors at the Faculty of Science are men, applications from women are particularly welcome.

Applications must be received before 2008. Ref. nr SU 611-1310-10. For more information, see http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=81902 or contact professor Mikael Passare at passare at math.su.se or professor Tom Britton at tom.britton at math.su.se.