4 Design positions in United-states in Poland

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

certain restrictions on nondeterminism. Here a main focus is on algorithmic aspects: design of efficient algorithms for universality, equivalence and other problems for unambiguous systems. Requirements We

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

, namely a nondeterministic ones with a certain restrictions on nondeterminism. Here a main focus is on algorithmic aspects: design of efficient algorithms for universality, equivalence and other problems

assistant professor or professor of the institute or professor* and Head of the Molecular Biology Unit

in etiopathology of human diseases and animal models of these diseases, designing new methods of therapy, planning and conducting preclinical studies and assessing the effectiveness of the therapies

assistant at the Department of Parasitology

- appropriate resolution of the doctoral subject confirming the appointment of a supervisor, the title of the dissertation and a detailed plan of the dissertation - Experience and readiness in performing