PhD position is available at MIM UW (Warsaw, Poland)
We offer a fully-funded PhD position within the NCN grant Computational
aspects of infinite-duration games. The project concerns solving parity
games and other kind of games, and related questions. This is mostly a
theoretical research.
A successful candidate
is expected to enroll into the PhD program in the University of Warsaw.
- Starting date: Oct 1, 2023 (or earlier / later)
- Project duration: 4 years
- Project leader: Paweł Parys
- Contact: parys@mimuw.edu.pl
- Application deadline: January 31, 2023
We offer:
- very competitive salary,
- vibrant working atmosphere in the automata group at Warsaw,
- exciting and challenging research problems,
- scientific collaborations worldwide.
The successful candidate is expected to have:
- Master’s degree or equivalent in computer science or math (finished or
to be finished soon),
- solid background in formal methods and automata theory,
- strong motivation for research work in foundations of computer science,
- advanced skills in written and spoken English.
PostDoc position is available at MIM UW (Warsaw, Poland)
We offer a PostDoc position within the NCN grant Computational
aspects of infinite-duration games. The project concerns solving parity
games and other kind of games, and related questions.
- Starting date: Flexible
- Duration: 6 or 12 months
- Project leader: Paweł Parys
- Contact: parys@mimuw.edu.pl
- Application deadline: January 31, 2023
We offer:
- salary 7600 PLN/month before taxes (quite competitive in Poland),
- vibrant working atmosphere in the automata group at Warsaw,
- exciting and challenging research problems,
- scientific collaborations worldwide.
The successful 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.