Logic List Mailing Archive

CfA: Postdoctoral and PhD Positions on the Czech Foundation Project INTERACT, Prague (Czech Republic), deadline: 15 February 2025

We are seeking to fill a three-year postdoctoral position as well as a fully funded, four-year PhD 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 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.

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

Open PhD position:

Candidates for the PhD position should hold or anticipate a master's degree in logic, mathematics, computer science, or a related subject. The ideal candidate will have a strong background in logic, preferably with experience in algebraic logic. Knowledge of proof theory desirable. The successful candidate will complete a PhD dissertation on the theme of the project.

The call will remain open until the position is filled, but applicants for the PhD position should send their applications by 15 February 2025 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/PhD-candidate-algebraic-logic-Fussner-2024/en

Open postdoctoral position:

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

The call will remain open until the position is filled, but applicants for the postdoctoral position should send their applications by 15 January 2025 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/Postdoctoral-fellow-junior-scientist-Fussner-2024/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