the scandinavian logic society

The position is funded by the European Research Council and is affiliated with the research project Plurals, Predicates, and Paradox: Towards a Type-Free Account, which is headed by Professor Øystein Linnebo and will be based at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo as of August or September 2012.

The research project is concerned with philosophical logic and the philosophy of mathematics, particularly with higher-order logic, the logical paradoxes, modality and the foundation of set theory. More information is available here.

2 years postdoc position in Mathematical Logic at Stockholm University, Department of Mathematics.

The research in mathematical logic at the department include such subjects as constructive mathematics, point-free topology and locale theory, semantics and proof theory of type theory and constructive set theory, category-theoretic logic, topos theory and constructive aspects of mathematical logic.

The department is now looking for a postdoc interested to work in the areas of the logic group and related subjects.

The Department of Mathematics at Stockholm University announces a PhD-student

position in mathematical logic. A prospective student will have the opportunity to

engage in exciting research related to constructive and category-theoretic foundations of mathematics.

Possible subjects include for instance: type theory, categorical logic and constructive mathematics and its algorithmic content.