Tenure track position in computer science (Logic group), Prague (Czech Republic)

The Institute of Computer Sciences of the Czech Academy of Sciences (ICS), Prague, Czech Republic, invites applications for a tenure-track position in areas fitting and/or expanding its current research focus. We especially encourage applicants working in fields related to the interests of the ICS Logic Group which focuses on * modal logics * coalgebraic logics * substructural logics * mathematical fuzzy logic * (abstract) algebraic logic * dynamic and non-monotonic logics * relevant and paraconsistent logics.