PhD candidate in algebraic logic – Ref. No. 2024/14

We seek a Ph.D. candidate to join the Czech Science Foundation project “Interpolation, Amalgamation, and Computation” (INTERACT), led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

The project aims to develop an encompassing theory of interpolation across varied logical environments by unifying proof-theoretic and algebraic approaches. The successful candidate will conduct research on the themes of the project, working toward a Ph.D. dissertation under the supervision of Dr. Wesley Fussner.

More information on the project may be found on the INTERACT webpage (http://www.wesleyfussner.com/interact.html).

[ Ostatní příležitosti ]

Quick Info

Conditions:

  • Fully funded, four-year Ph.D. position.
  • First cut-off point for applications is 15 February 2025. Application by that date guarantees full consideration, but applications will continue to be accepted until the position is filled.
  • Start date is 1 October 2025.
  • Travel funding for conferences and research stays is available.
  • No teaching duties.

Applicants should:

  • Hold or anticipate a master’s degree in logic, mathematics, computer science, or a related subject.
  • Have a strong background in logic, preferably with experience in algebraic logic. Knowledge of proof theory is desirable.
  • Be fluent in English.

The application process:

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

  • Mention of Ref. No. 2024/14.
  • A letter of application explaining your goals and your interest in the position (about 1-2 pages).
  • A full curriculum vitae, including a complete list of publications/preprints as well as a list of courses taken in algebra/logic and marks in those courses.
  • A sample of scientific writing (e.g., a copy of the master’s thesis).
  • Contact information for two professional referees. One of the referees should be the master’s degree advisor if possible.

Informal inquiries are welcome and encouraged, and may be directed to Daniel Wesley Fussner, Ph.D., fussner@cs.cas.cz.