[DL] PostDoc position, University of Warsaw

[Paweł Parys]

PostDoc position in automata theory / algorithmic game theory, University of Warsaw

**************************************************************************
- Application deadline: 18 Oct 2024
- Starting date: Jan 2025 or earlier
- 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 at mimuw.edu.pl
**************************************************************************

The project concerns solving parity games and other kind of games, and
related questions (this is mostly a theoretical research). Candidates
willing to work in other areas of automata theory are also encouraged to
contact me. 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,
• 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.

For details of application and recruitment procedure, please contact
Paweł Parys at parys at mimuw.edu.pl