Postdoctoral fellow in non-classical first-order logic - Ref. No. 2025/33

We seek a postdoctoral fellow to join the Czech Science Foundation project “Algebraizing first-order logics” (ALF), led by Adam Prenosil at the Institute of Computer Science of the Czech Academy of Sciences. The project aims to study metalogical properties of non-classical first-order logics using algebraic tools.

[ Ostatní příležitosti ]

Quick Info

  • Contact Person: Mgr. Adam Prenosil, Ph.D.
  • Application deadline: until the position is filled
  • Starting date: first quarter of 2026

Conditions:

  • 9 months of funding.
  • Starting date in the first quarter of 2026.
  • Approximate monthly gross salary 53.500 CZK.
  • Travel funding for conferences and research visit is available.
  • No teaching duties.

Applicants should:

  • Hold or expect a PhD degree.
  • Have a strong background in non-classical logic, ideally including non-classical first-order logics.

Applicants are to be sent to jobs@cs.cas.cz and should contain:

  • Mention of Ref. No. 2025/33.
  • A letter of application explaining your interest in the position and your suitability for the project (2–3 pages).
  • A full curriculum vitae.
  • A proof of obtained or expected degree.

Informal inquiries may be directed to Adam Prenosil (prenosil@cs.cas.cz).