Autor projektu/potencjalny promotor: prof. UO dr hab. Barbara Morawska

e-mail: Barbara.Morawska@uni.opole.pl 

Tematy badawcze:

- Algorytmy dla unifikacji pojęć w niektórych logikach deskrypcyjnych

- Zastosowania algorytmu unifikacji w logice deskrypcyjnej w rozszerzeniach SNOMED CT

Doświadczenie naukowe promotora:

- Autor kilkunastu prac konferencyjnych na renomowanych konferencjach informatycznych (IJCAR, KR, CADE, LPAR)

- Autor kilkunastu artykułów w czasopismach naukowych

- promotor pomocniczy w TU Dresden 

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- Praca doktorska będzie realizowana w ramach projektu badawczego pt. „Automatyzacja Problemu Unifikacji w Logikach Deskrypcyjnych”, DEC-2022/47/P/ST6/03196, 

finansowanego przez NCN; możliwość zatrudnienia doktoranta na okres 2 lat. 

- możliwości mobilności międzynarodowej doktoranta:

- Możliwość uczestnictwa w międzynarodowych konferencjach i spotkaniach

Inne wymagania promotora w stosunku do kandydata:

- Mile widziana dobra znajomość logiki

- Mile widziana umiejętność programowania w języku Java.

 Autor projektu/potencjalny promotor: prof. dr Ian Pratt-Hartmann

e-mail: ipratt-hartmann@uni.opole.pl 

Tematy badawcze:

-Logika obliczeniowa/logika matematyczna

-Sztuczna inteligencja

Doświadczenie naukowe promotora:

- Autor książki o logice matematycznej wydawanej w serii Oxford Logic Guides 

- Autor ponad 40 artykułów w czasopismach naukowych

- Autor ponad 40 artykułów konferencyjnych

- Promotor kilkunastu prac doktorskich

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- dostęp do specjalistycznego oprogramowania i infrastruktury informatycznej Instytutu Informatyki

- dostęp do specjalistycznej literatury i baz naukowych

- możliwości mobilności międzynarodowej doktoranta:

- mobilność w ramach programu ERASMUS+ oraz FORTHEM

- staże naukowe krajowe i zagraniczne

- udział w konferencjach naukowych o zasięgu międzynarodowym

Inne wymagania promotora w stosunku do kandydata

 Autor projektu/potencjalny promotor: prof. UO dr hab. inż. Mariusz Pelc

 e-mail: mariusz.pelc@uni.opole.pl 

Tematy badawcze:

- Systemy self-* (self-configuring, self-protecting, self-managing, self-healing, etc.) w zastosowaniach (serwisy internetowe, systemy komputerowe, sieci komputerowe)

- Autonomiczne (Smart) systemy IoT / wbudowane 

- Zastosowanie bio-informatyki (ML, DL, etc.) w procesach diagnostyki komputerowej / badań przesiewowych

Doświadczenie naukowe promotora:

- Praca przy projektach naukowych (DySCAS, CHIST-ERA) związanych z zaproponowaną tematyką badawczą

- Istotny dorobek publikacyjny dotyczący tej tematyki

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- dostęp do specjalistycznego oprogramowania i infrastruktury informatycznej Instytutu Informatyki

- dostęp do specjalistycznej literatury i baz naukowych,

- możliwości mobilności międzynarodowej doktoranta:

- mobilność w ramach programu ERASMUS+ oraz FORTHEM

- staże naukowe krajowe i zagraniczne

- udział w konferencjach naukowych o zasięgu międzynarodowym

Inne wymagania promotora w stosunku do kandydata:

- bardzo dobra umiejętność programowania (Matlab / Simulink, Python, R)

- znajomość metod / narzędzi statystycznych 

 Autor projektu/potencjalny promotor: prof. UO dr hab. Lidia Tendera

e-mail: tendera@uni.opole.pl

Tematy badawcze:

Logika obliczeniowa

Zastosowania logiki w informatyce

Doświadczenie naukowe promotora:

- Autor kilkunastu artykułów w czasopismach naukowych

- Autor kilkunastu prac konferencyjnych na prestiżowych konferencjach informatycznych (LICS, CADE, MFCS, STACS)

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach:

-  zaplecze badawcze projektów

-dostęp do specjalistycznego oprogramowania i infrastruktury informatycznej Instytutu Informatyk

-dostęp do specjalistycznej literatury i baz naukowych

- możliwości mobilności międzynarodowej doktoranta

-mobilność w ramach programu ERASMUS+ oraz FORTHEM 

-staże naukowe krajowe i zagraniczne

- udział w konferencjach naukowych o zasięgu międzynarodowym

Inne wymagania promotora w stosunku do kandydata:

Autor projektu/potencjalny promotor: prof. dr hab. Aleksander Iwanow 

e-mail: iwanowaleksander@gmail.com

Tematy badawcze:

Zagadnienia logiki matematycznej występujące w problemie spelnialności więzów  

Doświadczenie naukowe promotora: 

- https://orcid.org/0000-0002-5720-2864

- ponad 40 lat pracy naukowej

- wypromowanie trzech doktorów nauk matematycznych

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- dostęp do specjalistycznego oprogramowania i infrastruktury informatycznej Instytutu Informatyki

-  dostęp do specjalistycznej literatury i baz naukowych

- możliwości mobilności międzynarodowej doktoranta:

- mobilność w ramach programu ERASMUS+ oraz FORTHEM

- staże naukowe krajowe i zagraniczne 

- udział w konferencjach naukowych o zasięgu międzynarodowym

Inne wymagania promotora w stosunku do kandydata:

- Ogólne zdolności matematyczne i umiejętność szybkiego uczenia się

- Podstawy logiki matematycznej, algorytmy, matematyka dyskretna 

- Dobra znajomość języka angielskiego  

Autor projektu/potencjalny promotor: prof. UO dr Gleb Polevoy

e-mail:  gleb.polevoy@uni.opole.pl 

Tematy badawcze:

Koncepcje rozwiązań gier i ich skuteczność 

Motywowanie do pożądanej rozgrywki

Realistyczne modelowanie interakcji

Algorytmiczna analiza gier

Różne algorytmy aproksymacji

Doświadczenie naukowe promotora:

- Koncepcje rozwiązania gier niekooperacyjnych, ceny anarchii i stabilności

- Dostosowywanie gier niekooperacyjnych i motywowanie do gry za pomocą kontrolowania graczy

- Modelowanie wzajemnego oddziaływania, inwestycji, sygnalizowania i innych interakcji

- Algorytmy działające na gry

- Różne algorytmy aproksymacji (kombinatoryczne i oparte na LP)

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- dostęp do specjalistycznego oprogramowania i infrastruktury informatycznej Instytutu Informatyki

- dostęp do specjalistycznej literatury i baz naukowych

- możliwości mobilności międzynarodowej doktoranta:

-  mobilność w ramach programu ERASMUS+ oraz FORTHEM

- staże naukowe krajowe i zagraniczne

- udział w konferencjach naukowych o zasięgu międzynarodowym

Inne wymagania promotora w stosunku do kandydata:

- Ogólne zdolności matematyczne

- Umiejętność szybkiego uczenia się

- Algorytmy, kombinatoryka, matematyka dyskretna, teoria prawdopodobieństwa, teoria grafów, podstawy algebry liniowej i rachunku różniczkowego

- Dobra znajomość języka angielskiego

Autor projektu/potencjalny promotor: prof. UO dr hab  inż. Michał Podpora

e-mail: michal.podpora@uni.opole.pl 

Tematy badawcze:

Artificial Intelligence in Robotics

Interaction modalities in Human–Robot Systems

Vision understanding

IoT cybersecurity

LLM-based systems and agent architectures, and cybersecurity

Doświadczenie naukowe promotora:

- ponad 128 publikacji naukowych

- ponad 20 lat doświadczenia z zakresu AI, w tym 10 lat praktyki projektowania AI robotów

- udział w projektach wdrożeniowych systemów AI (ML oraz LLM)

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- dostęp do specjalistycznego oprogramowania i infrastruktury informatycznej Instytutu Informatyki

- dostęp do specjalistycznej literatury i baz naukowych

- możliwości mobilności międzynarodowej doktoranta:

- mobilność w ramach programu ERASMUS+ oraz FORTHEM

- staże naukowe krajowe i zagraniczne

- udział w konferencjach naukowych o zasięgu międzynarodowym

Inne wymagania promotora w stosunku do kandydata:

- odpowiedzialność, samodzielność, pomysłowość, systematyczność