Logic List Mailing Archive

CfA: 1-year postdoctoral position in Logic and Category Theory, University of Milan (Italy), deadline: TBA

Dear All,

We are pleased to announce that a one-year postdoctoral position for early career researchers in the Logic Group at the University of Milan (Italy) will soon be available. The research group covers several areas of logic and category theory, including duality theory, categorical logic, categorical algebra and higher categories. We expect the official call to be published in April or May 2026, with interviews taking place in the first half of June.

We encourage all motivated early career researchers with experience in category theory, broadly understood, to apply. An interest in categorical logic and/or low-dimensional category theory would be advantageous, but is not essential. The successful candidate will work under the supervision of Luca Reggio<https://lucareggio.github.io/> and Gabriele Lobbia<https://globbia.github.io/>. Some additional information, including a brief description of potential research areas, is provided below.

Please feel free to share this information with anyone who might be interested. Interested candidates can get in touch informally by writing to Luca Reggio (luca.reggio@unimi.it<mailto:luca.reggio@unimi.it>) or Gabriele Lobbia (gabriele.lobbia@unimi.it<mailto:gabriele.lobbia@unimi.it>).

Best wishes,
Gabriele and Luca

-------------------------------------------
Salary: approximately €1,700 net per month
Travel funds: €1,000
Start date: July 2026 at the earliest
Duration: 12 months
Eligibility: Candidates must have obtained their Master's degree (or equivalent) no more than six years ago.
Title of the project: Categories in Logic and Algebra
Brief description: The programme aims to contribute to ongoing projects applying categorical methods to logic and algebra. The two main areas of focus are: (1) developing geometric and homotopical tools for applications in resource-sensitive modal and first-order logics, and (2) solving open problems in three-dimensional algebra, such as defining and studying ring-like structures for bicategories.
-------------------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php