2 Postdoc and 2 PhD positions at the University of Warsaw, in an ERC CoG project. The goal of the project is to explore the tractability limit of computational problems related to logic and structural graph theory.

The applicants should have a strong background in at least one of the following fields: structural graph theory, algorithms and complexity, finite model theory, or
model theory.

Website: https://sites.google.com/view/buka-project/
Email: szymtor@mimuw.edu.pl