The two-year 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.
See
http://bit.ly/zOUfNy for more information.
