Postdoctoral fellow in first-order algebraic logic - Ref. No. 2026/2

We seek a postdoctoral fellow to join 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.

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 both individually and in collaboration with the PI and other team members.

[ Ostatní příležitosti ]

Quick Info

Conditions:

  • 2 years of funding, with a possibility of extension until the end of 2028.
  • Applications received by March 1, 2026 will be guaranteed full consideration. Later applications will continue to be considered until the position is filled.
  • Starting date in the summer of 2026 (negotiable).
  • Approximate monthly gross salary 58,000 CZK.
  • Travel funding for conferences and research visits is available.
  • No teaching duties (but teaching is possible if desired).

Applicants should:

  • Hold or expect a PhD degree, awarded no earlier than 2018.
  • Have a strong background in algebraic logic.
  • Be fluent in English.

Applications are to be sent to (email). Please mention Ref. No. 2026/2 in the email subject.

Applications should include:

  • A professional curriculum vitae including a list of all publications.
  • A cover letter explaining your interest in the position and your suitability for the project (2–3 pages).
  • One letter of recommendation, sent by the referee directly to (email).
  • Contact information for one further researcher who may provide a recommendation.
  • A proof of the obtained degree or the expected thesis defence date.

Interested candidates are welcome to direct informal inquiries to Adam Prenosil ( (email)).