the scandinavian logic society

Postdoctoral Researcher in Logic

Employment level: Time limited employment (temporary)

Location: Dept of Philosophy, Linguistics & Theory of Sci. University of Gothenburg

Apply by: 2018-05-31

The Department of Philosophy, Linguistics and Theory of Science in Gothenburg has announced a position as Postdoc in Logic.

The Department of Philosophy, Linguistics and Theory of Science announces three fully funded PhD-positions, one in each of the subjects Theoretical Philosophy, **Logic**, and Theory of Science. The positions are proper employments, subject to the favourable conditions of standard Swedish social benefits, such as e.g., paid parental leave.

To find the announcement (with all the relevant links) go here.

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.