Logic List Mailing Archive

CfA: 3-Year Postdoc in Logic (INTERACT Project), Prague (Czech Republic), deadline: 13 April 2026

We are seeking to fill a three-year postdoctoral position on the Czech Science Foundation project "INTERACT: Interpolation, Amalgamation, and Computation," led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.



The project aims to develop a cohesive theory of interpolation across varying logical environments by reconciling proof-theoretic and algebraic approaches. The successful candidate will join the PI's group at the Institute of Computer Science of the Czech Academy of Sciences and will conduct research on the themes of the project both independently and in collaboration with the PI and other project members.



Informal inquiries are welcome and encouraged, and may be directed to the PI, Wesley Fussner: fussner@cs.cas.cz<mailto:fussner@cs.cas.cz>



Candidates should hold or expect a PhD and have a strong background in logic. The ideal candidate will have experience in one or more of the following areas:

  *   Algebraic logic
  *   Universal algebra
  *   Computational aspects of general algebra
  *   Interpolation and amalgamation in logic

The call will remain open until the position is filled, but applicants for the postdoctoral position should send their applications by 13 April 2026 to guarantee full consideration. Further information, including instructions on how to apply, may be found on the website of the Institute of Computer Science: https://www.cs.cas.cz/job-offer/interact-fussner-2026/en
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php