Postdoctoral and PhD Positions on the Czech Foundation Project INTERACT, Prague (Czech Republic)

We are seeking to fill a three-year postdoctoral position as well as a fully funded, four-year PhD position on the Czech Science Foundation project "INTERACT: Interpolation, Amalgamation, and Computation," led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

The project aims to develop a cohesive theory of interpolation across varying logical environments by reconciling proof-theoretic and algebraic approaches. The successful candidates will join the logic team at the Institute of Computer Science of the Czech Academy of Sciences and will conduct research on the themes of the project both independently and in collaboration with the PI and other project members.

Deadline: 15 january (postdoc) / 15 february (PhD).