Konkurs na stypendium doktoranckie

Nazwa jednostki: Uniwersytet Opolski

Nazwa stanowiska: stypendysta

Oferujemy stypendium dla doktoranta w ramach projektu NCN Polonez Bis na temat: Automatyzacja Problemu Unifikacji w Logikach Deskrypcyjnych pod kierunkiem dr hab. Barbary Morawskiej. Jesteśmy małą grupą badawczy, która bada i tworzy algorytmy unifikacyjne dla pojęć w małych logikach deskrypcyjnych. Tworzymy aplikacje dla zastosowań naszych algorytmów szczególnie w zarządzaniu dużymi systemami pojęć dla dokumentacji medycznych, zwanymi ontologiami, np. SNOMED CT.

Wymagania

• Kandydat powinien mieć skończone studia magisterskie informatyczne lub matematyczne
• Kandydat powinien znać logikę klasyczną, logikę pierwszego rzędu i logiki deskrypcyjne, szczególnie logiki deskrypcyjne EL i FL0.
• Kandydat powinien mieć zamiłowanie do pracy badawczej polegającej na rozwiązywaniu problemów teoretycznych z pogranicza logiki i informatyki.
• Kandydat powinien umieć programować w języku Java
• Wymagana jest dobra znajomość języka angielskiego.

Dodatkowy warunek:

• Kandydat musi być doktorantem w Szkole Doktorskiej Uniwersytetu Opolskiego.

Wysokość stypendium: 2500 zł brutto wypłacane miesięcznie przez okres 4 miesięcy.

Proces rekrutacji: Kandydaci będą oceniani na podstawie złożonych dokumentów.

Kandydat proszony jest o złożenie następujących dokumentów:

1. życiorys
2. dyplom ukończenia studiów oraz transkrypt ocen
3. praca magisterska lub/i publikacje w wersji elektronicznej

Dokumenty prosimy przesyłać w formie elektronicznej na adres email: unifdl@uni.opole.pl

Ważne daty:

• Termin składania dokumentów: do 26.05.2025
• Decyzja o przyznaniu stypendium: do 28.05.2025