Logic List Mailing Archive

CfA: 3-year postdoctoral positions in algebraic logic and proof theory at ICS CAS, Prague (Czechia), deadline: 15 January

Dear colleagues,

We are seeking to fill several three-year postdoctoral positions 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 candidates will join the logic team 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.

Candidates should hold or expect a PhD and have a strong background in logic, preferably with experience in algebraic logic and/or proof theory.

The call will remain open until the positions are filled, but applicants should send their applications by 15 January 2025 to guarantee full consideration. Starting date is negotiable. 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/Postdoctoral-fellow-junior-scientist-Fussner-2024/en

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

Best regards,
Wesley Fussner
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php