Job openings
The ICS and the Czech Academy of Sciences regularly open calls for postdoctoral researchers. Let us know if you are interested.
- ICS Postdoctoral Fellowship within the postdoc programme of the ICS
- CAS-ICS Postdoctoral position within the postdoc programme of the CAS
Our group often seeks postdoctoral researchers for project-specific positions.
- Stay tuned!
The ICS welcomes applications within international schemes such as the MSCA Individual Fellowships. Applications are particularly encouraged since the government of the Czech Republic supports no-money MSCA-IF projects. Please consult possible cooperation topics with us if you're interested.
Thesis Supervision
Members of the group offer supervision of Master and PhD theses focusing on the following topics:- Petr Cintula
- Relation between algebraizability, order-algebraizability, and presence of lattice conjunction or disjunction
- Abstract algebraic theory of propositional quantifiers
- Expanding the notion of semilinarity, the formal rendering of completeness w.r.t. linearly ordered semantics
- Abstract theory of admissible rules and structural completeness
- Graded consequence relations within the framework of Fuzzy Class Theory
- Systematic study of fragments of prominent substructural logics
- Equality in non-classical first-order logics
- Systematic study of neigbourhood semantics in non-classical setting
- Vague quantifiers
- Marta Bílková
- Non-classical coalgebraic logics
- Group and information dynamics in substructural epistemic logics
- Zuzana Haniková
- Algorithmic properties of substructural logics
- Nonclassical set theories
- Language fragments and expansions of substructural logics
- Igor Sedlár
- Non-classical dynamic logics
- Non-classical modal logics
Members of the group are currently supervising the following PhD students:
- Oguz Korkmaz (supervised Marta Bílková at Charles University in Prague)
Past PhD students:
- Adam Přenosil (supervised by Marta Bílková, thesis Reasoning with inconsistent information defended 2018)
- Karel Chvalovský (supervised by Marta Bílková, thesis Undecidability of some substructural logics defended 2015)
Teaching
Members of the group regularly teach the following courses:
- Mathematical logic (Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University; Petr Cintula and Igor Sedlár)
- Logic in Computer Science (Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University; Carles Noguera, Igor Sedlár and Andrew Tedder)
- Modal Logic (Faculty of Arts, Charles University in Prague, Marta Bílková)
- Non-classical Models of Reasoning (Faculty of Arts, Charles University in Prague, Marta Bílková, Petr Cintula, Igor Sedlár, Andrew Tedder)
Related information
Department of Logic at Charles University is opening the Logic Masters' study program for academic year 2019/20, the deadline for applications is April 15, 2019. The program is administred in two language versions: Czech and English. The program has been significantly updated starting with the academic year 2019/20, with greater choice for the student regarding the focus of the study: from set theory, classical and non-classical logics to philosophy of mathematics and exact sciences. The standard duration of the program is 2 years.
More information can be found here.