PhD position in first-order algebraic logic at the Czech Academy of Sciences, Prague [CZ]

The Czech Science Foundation project "Algebraizing first-order logics" (ALF), led by Adam Přenosil at the Institute of Computer Science of the Czech Academy of Sciences, is looking for a PhD candidate. The applications are open until 8 March (as opposed to the website information).

The project aims to develop new algebraic tools for the study of non-classical first-order logics, primarily relying on so-called nominal algebras. This will involve setting up general bridge theorems connecting the metalogical properties of first-order logics with their algebraic semantics and applying them to obtain new results about specific first-order logics. The successful candidate will conduct research in this direction under the supervision of Adam Přenosil.