Konkurs na stypendium w projekcie NCN OPUS 29

Instytut Informatyki Uniwersytetu Opolskiego ogłasza konkurs na stypendium dla studenta w ramach projektu NCN OPUS-29 pn. „Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia”, realizowanego pod kierunkiem dr hab. Lidii Tendery.

W ramach projektu prowadzone są badania nad składniowym podejściem do modelowania operatora tylko-wiedzenia – w szczególności nad rozszerzeniem formalizmu na przypadek wielu agentów oraz czasów. Zadania obejmują także analizę własności matematycznych i obliczeniowych opracowanego formalizmu.

Wymagania:

• status studenta studiów I stopnia, II stopnia lub jednolitych magisterskich (uczelnia w Polsce), kierunek: informatyka, matematyka lub pokrewny,
• wiedza z zakresu logiki formalnej i złożoności obliczeniowej (mile widziana znajomość logik modalnych i systemów wieloagentowych),
• zainteresowanie pracą badawczą nad problemami teoretycznymi na styku logiki i informatyki,
• dobra znajomość języka angielskiego (czytanie literatury naukowej),
• gotowość do pracy pod presją czasu i wymagań projektowych.

Wysokość stypendium: 2500 zł brutto miesięcznie przez 9 miesięcy, z możliwością przedłużenia w przypadku uzyskania statusu doktoranta w Szkole Doktorskiej UO.

Wymagane dokumenty (w formie elektronicznej):

1. życiorys naukowy,
2. dokumenty potwierdzające informacje z CV (np. kopie publikacji, certyfikaty, rekomendacje),
3. potwierdzenie statusu studenta.

Zgłoszenia: dokumenty prosimy przesyłać na adres ii@uni.opole.pl.

Ważne terminy:

• termin składania dokumentów: do 27.02.2026,
• decyzja o przyznaniu stypendium: do 10.03.2026.