Logic List Mailing Archive

CfA: One-year Postdoc in computational logic, Tampere (Finland), Deadline 23 November 2023

A one-year Postdoctoral Research Fellow position in computational logic is offered by Tampere University, Finland. The position is primarily for the year 2024, but the beginning date can be negotiated. The research agenda is relatively free and can be tailored according to the candidate's personal academic interests. The application deadline is November 23. For more information, please visit


The Tampere logic group currently consists of 11 researchers, with five faculty members, three postdocs and three PhD-students. The group's research interests span a wide range of topics, ranging from finite model theory and complexity of logics to answer set programming and explainability in AI.

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