Stockholm University announces a position as Professor in Mathematical Locic 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 main tasks of the new professor are research, teaching, supervision, together with administrative tasks at the department and the faculty. 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. The full announcement can be found at the University's web site www.su.se under the link "Lediga anställningar".