The Institute of Philosophy of the Czech Academy of Sciences welcomes applications for two full-time postdoc positions. The two postdocs will work within a project led by Ansten Klev on type theory and the philosophy of mathematics. Both positions last for 30 months and will start in January 2021. The deadline for applying is October 15. For more information see here.