2 coding-theory Postdoctoral positions at University of Warsaw: Faculty of Mathematics, Informatics and Mechanics in Poland

2 postdoctoral research positions in the scientific project „Limits of Structural Tractability” (acronym: BUKA), financed by the European Commission (grant agreement no 101126229)

comfortable life in Warsaw. The position comes with no teaching obligations and generous travel budget. Selected candidates will work on selected topics from the interface of structural graph theory, logic, and

1 postdoctoral research position in the scientific project “Challenging Problems in Infinite-State Systems” (INFSYS)

comes with no teaching obligations and generous travel budget. Selected candidate will work on problems in the area of automata theory and logic in computer science, more specifically on topics connected