Full time postdoctoral position in the project "Modern Czech Logic within the Philosophy of Mathematics", funded by the Czech Science Foundation, is available at the Institute of Computer Science of the Czech Academy of Sciences (ICS CAS).
The principal investigator of the project is Zuzana Haniková, Institute of Computer Science of the Czech Academy of Sciences https://www.cs.cas.cz/staff/hanikova/en and the co-investigator is Štěpán Holub, Faculty of Mathematics and Physics, Charles University https://www.mff.cuni.cz/en/faculty/organizational-structure/people?hdl=1424 The successful candidate will work on the project as a member of the LogICS group at the ICS CAS https://www.cs.cas.cz/logics/ The project is in foundations and philosophy of mathematics with the specific aim to investigate the import of the foundational works in logic by L.S. Rieger, P. Vopěnka, and P. Hájek. The postdoctoral researcher will work in areas germane to this mathematical school (set theory and its philosophy, alternative foundations, pluralism, the notion of infinity, various forms of finitism, phenomenological approaches to mathematics, etc.) We seek a candidate with research-level experience in logic or philosophy of mathematics, expecting them to carry out a research line related to these focal themes of the project. The position is for 18 months with default start in October 2025. See https://www.cs.cas.cz/job-offer/postdoctoral-position-Hanikova2-2025/en Informal inquiries are welcome and should be addressed to Zuzana Haniková. Zuzana Haniková Institute of Computer Science of the Czech Academy of Sciences -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
