Logic List Mailing Archive

CfA: Postdoctoral Position (18m) in Philosophy of Mathematics – ICS CAS, Prague (Czech Republic), Start: October 2025

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 tpn 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. Vopnka, and P. Hjek. 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