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@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@mimuw.edu.pl