Ph.D. candidate in first-order algebraic logic - Ref. No. 2026/3

We seek a Ph.D. candidate 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 under the supervision of Adam Přenosil.

[ Ostatní příležitosti ]

Quick Info

Conditions:

  • Fully-funded, four-year Ph.D. position.
  • Applications received by March 1, 2026 will be guaranteed full consideration. Later applications will continue to be considered until the position is filled.
  • The successful applicant will be enrolled as a Ph.D. student at Charles University in Prague and employed by the Institute of Computer Science.
  • Ph.D. studies start on October 1, 2026. Earlier start of employment is negotiable.
  • Travel funding for conferences and research visits is available.
  • No teaching duties (but teaching is possible if desired).

Applicants should:

  • Hold or expect a Master's degree in Logic, Mathematics, Computer Science, or a related subject.
  • Have a background in algebra or logic, ideally with some experience in algebraic logic and universal algebra.
  • Be fluent in English.

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

Applications should include:

  • A curriculum vitae including a list of all publications/preprints and a list of up to 5 relevant courses taken in algebra or logic, with grades obtained.
  • A cover letter explaining your interest in the position and your suitability for the project (1–2 pages).
  • A sample of the candidate’s academic writing, such as a copy of the master's thesis or a preprint of a paper.
  • One letter of recommendation, sent by the referee (ideally a master's advisor) directly to jobs@cs.cas.cz.
  • Optionally, contact information for one further researcher who may provide a recommendation.

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