Instytut Informatyki Uniwersytetu Opolskiego ogłasza nabór na stypendium doktoranckie w ramach projektu NCN OPUS 29 pt. „Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych”, realizowanego pod kierunkiem dr hab. Barbary Morawskiej.
Projekt dotyczy badań nad algorytmami unifikacyjnymi dla pojęć w małych logikach deskrypcyjnych oraz związków między problemami unifikacji a teorią gier, w szczególności gier typu push-down.
Wysokość stypendium: 5000 zł brutto miesięcznie przez 48 miesięcy.
Wymagania wobec kandydata/kandydatki
- ukończone studia magisterskie (informatyka lub matematyka),
- znajomość logik deskrypcyjnych (w szczególności EL i FL0) oraz zagadnień z teorii gier typu push-down,
- zainteresowanie pracą badawczą na styku logiki i informatyki (problemy teoretyczne),
- umiejętność programowania w Javie,
- dobra znajomość języka angielskiego,
- gotowość do pracy pod presją czasu i wymagań projektowych.
Dodatkowy warunek: kandydat/kandydatka musi być doktorantem w Szkole Doktorskiej Uniwersytetu Opolskiego.
Jak aplikować
Kandydaci będą oceniani na podstawie przesłanych dokumentów. Prosimy o złożenie:
- CV,
- dyplomu ukończenia studiów oraz transkryptu ocen,
- pracy magisterskiej i/lub publikacji (wersja elektroniczna).
Dokumenty należy przesłać mailowo na adres: Barbara.Morawska@uni.opole.pl
Ważne daty
- Termin składania dokumentów: do 18.02.2026
- Decyzja o przyznaniu stypendium: do 28.02.2026
