*********************
- Application deadline: June 7, 2023
- Starting date: Flexible
- Salary: 7600 PLN/month before taxes (quite competitive in Poland)
- Duration: 6 or 12 months
- Project: "Computational aspects of infinite-duration games" funded by NCN
- Principal investigator: Paweł Parys (www.mimuw.edu.pl/~parys)
- Contact: parys@mimuw.edu.pl
*********************

The project concerns solving parity games and other kind of games, and
related questions. This is mostly a theoretical research. We promise a
vibrant working atmosphere in the automata group at the University of
Warsaw, and exciting and challenging research problems.

The ideal candidate is expected to have:
• PhD degree or equivalent in computer science or math (finished or to be finished soon),
• solid background in formal methods and automata theory,
• significant publication record,
• strong motivation for research work in foundations of computer science,
• advanced skills in written and spoken English.

To apply, please send your curriculum vitae to parys@mimuw.edu.pl.