Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
studijní program
Fakulta: FITZkratka: DITAk. rok: 2026/2027
Typ studijního programu: doktorský
Kód studijního programu: P0613D140028
Udělovaný titul: Ph.D.
Jazyk výuky: čeština
Akreditace: 8.12.2020 - 8.12.2030
Profil programu
Akademicky zaměřený
Forma studia
Kombinované studium
Standardní doba studia
4 roky
Garant programu
prof. Ing. Lukáš Sekanina, Ph.D.
Oborová rada
Předseda :prof. Ing. Lukáš Sekanina, Ph.D.Člen interní :prof. Dr. Ing. Pavel Zemčík, dr. h. c.prof. Dr. Ing. Zbyněk Raidaprof. RNDr. Josef Šlapal, CSc.prof. Ing. Pavel Václavek, Ph.D.prof. Ing. Tomáš Hruška, CSc.prof. RNDr. Alexandr Meduna, CSc.doc. Dr. Ing. Petr Hanáčekprof. Dr. Ing. Jan Černockýprof. Ing. Adam Herout, Ph.D.doc. Ing. Jan Kořenek, Ph.D.prof. Ing. Tomáš Vojnar, Ph.D.Člen externí :prof.,RNDr. Jiří Barnat, Ph.D.
Oblasti vzdělávání
Cíle studia
Cílem studijního programu je poskytnout vynikajícím absolventům magisterského studia specializované univerzitní vzdělání nejvyššího typu v informatice a výpočetní technice, zvláště pak v oblastech, ve kterých se profilují výzkumné skupiny FIT, a ve vztahu k výzkumným projektům řešeným na FIT:
Profil absolventa
Absolventi doktorského studijního programu Information Technology jsou schopni samostatně provádět vědecko-výzkumnou činnost a tvůrčím způsobem řešit složité teoretické, návrhové, verifikační, testovací, implementační a inovační problémy v oblasti informatiky. Jsou vybaveni pokročilými znalostmi jak z teoretické informatiky, tak i z oblasti algoritmizace, tvorby software i hardware a zkušenostmi s jejich uplatněním v různých aplikacích. Hlavní důraz a cíl studia je směřován na vědeckou a tvůrčí činnost a představení výstupů této činnosti vědecké komunitě na mezinárodní úrovni, zejména ve formě publikačních výstupů. Další nedílnou součástí je získání zkušeností s prací v týmu a pravidelná prezentace dosažených výsledků, nejdříve pro kolegy na FIT a později na mezinárodních vědeckých konferencích. Absolventi doktorského studijního programu mají tedy nejen teoretické a specializované znalosti dle svého odborného zaměření, ale zároveň i zkušenosti s publikační činností a uplatněním a prezentací výsledků na mezinárodní úrovni.
Charakteristika profesí
Absolventi FIT obecně a absolventi doktorského studia zejména nemají problém najít uplatnění jako vědečtí, pedagogičtí či řídicí pracovníci jak v ČR tak v zahraničí.
Podmínky splnění
Jsou vymezeny individuálním studijním plánem studenta, jenž specifikuje studijní předměty, které je student povinen úspěšně absolvovat, předpokládané stáže a účasti na odborných konferencích a minimální pedagogické působení v bakalářském nebo magisterském studijním programu fakulty. Úspěšné ukončení studia je podmíněno:
Vytváření studijních plánů
Jsou stanovena směrnicí děkana Pravidla o organizaci studia na FIT pro sestavovaní individuálního plánu studenta. Individuální studijní plán vychází z tématu disertační práce a podléhá schválení oborovou radou.Předepisuje:
Dostupnost pro zdravotně postižené
Vysoké učení technické v Brně umožňuje studium osobám se zdravotním postižením dle § 21, odst. 1 písm. e) zákona 111/1998 Sb. vysokých školách a o změně a doplnění dalších zákonů ve znění pozdějších předpisů a dle požadavků v této oblasti vyplývajících z nařízení vlády č. 274/2016 Sb., o standardech pro akreditace ve vysokém školství, poskytuje uchazečům o studium a studentům se specifickými potřebami služby v rozsahu a formou odpovídající specifikaci uvedené v Příloze č. 3 k Pravidlům pro poskytování příspěvku a dotací veřejným vysokým školám Ministerstvem školství, mládeže a tělovýchovy, specifikující financování zvýšených nákladů na studium studentů se specifickými potřebami.Služby pro studenty se specifickými potřebami jsou na VUT v Brně realizovány prostřednictvím aktivit specializovaného pracoviště - poradenského centra Alfons, které je součástí Institutu celoživotního vzdělávání VUT v Brně - sekce Poradenství pro studenty.Aktivity poradenského centra a pravidla zpřístupňování studia univerzita garantuje platnou Směrnicí rektora č. 11/2017 upravující postavení uchazečů o studium a studentů se specifickými potřebami na VUT v Brně. Tato vnitřní norma garantuje minimální standardy poskytovaných služeb.Služby poradenského centra jsou nabízeny uchazečům o studium a studentům se všemi typy zdravotního znevýhodnění uvedených ve zmíněném Metodickém standardu Ministerstva školství, mládeže a tělovýchovy.
Návaznost na další typy studijních programů
Studijní program navazuje jak na dobíhající navazující magisterský program Informační technologie, tak na nový navazující magisterský program Informační technologie a umělá inteligence.Studenti mohou dále, podle svých potřeb a mimo své formalizované studium, také absolvovat kurzy a školení týkající se metodologie vědecké práce, publikačních a citačních dovedností, etiky, pedagogiky a tzv. měkkých dovedností, které organizuje VUT či jiné instituce.
Vypsaná témata doktorského studijního programu
Výzkum v oblasti agentní umělé inteligence pro návrh čipů a automatizaci elektronického návrhu (EDA) se rychle přesouvá od pasivní optimalizace jednotlivých nástrojů k autonomním, cílově orientovaným pracovním postupům. Systémy agentní umělé inteligence využívají uvažující agenty k plánování a koordinaci nástrojů EDA, učení se z výsledků a spolupráci při řízení vícestupňových úkolů v průběhu celého životního cyklu návrhu polovodičů.
Cílem výzkumu je přinést autonomii založenou na AI do různých fází frontendových a backendových komponent návrhu integrovaných obvodů, včetně RTL, verifikace a fyzického návrhu. Prvním krokem bude přizpůsobení a použití specializovaných modelů trénovaných na Verilogu, netlistech a datech rozvržení k pochopení sémantické struktury elektronických obvodů, překladu požadavků do syntetizovatelného kódu a automatické iterace s využitím zpětné vazby kompilátoru v kontextu automobilového procesoru RISC-V, zkoumaného v rámci projektu Chips JU Rigoletto.
Školitel: Smrž Pavel, doc. RNDr., Ph.D.
Tato disertační práce se zaměří na vývoj pokročilých metod pro forenzní analýzu obrazových dat v situacích s extrémně omezenou dostupností trénovacích vzorků. V oblasti kriminalistiky a bezpečnostních složek je běžné pracovat s unikátními, vzácnými nebo obtížně získatelnými typy stop, pro které neexistují rozsáhlé anotované databáze, což zásadně omezuje využití standardních metod hlubokého učení. Dynamický rozvoj přístupů, jako jsou few-shot a zero-shot learning, spolu s možnostmi přenosu znalostí z velkých předtrénovaných modelů, otevírá nové možnosti efektivního zpracování těchto dat a zvyšuje potenciál automatizované podpory forenzního rozhodování.Výzkumná činnost se bude zabývat analýzou obrazových dat v podmínkách nedostatku dat zejména z hlediska praktické využitelnosti, a to především: (1) návrhem metod založených na few-shot a zero-shot přístupech pro identifikaci a klasifikaci forenzních stop při minimálním množství trénovacích vzorků; (2) využitím přenosu znalostí z velkých předtrénovaných modelů a jejich adaptací na specifické forenzní úlohy; a (3) vývojem metod pro syntetické generování a augmentaci dat s cílem zvýšit robustnost a generalizační schopnosti modelů v reálných podmínkách forenzní praxe.
Školitel: Hanáček Petr, doc. Dr. Ing.
SW projekty, které využívají dynamické datové struktury v kombinaci s ukazateli, jsou velmi náchylné na chyby při práci s pamětí (null pointer dereference, memory leaky, ...). Zároveň jde často o systémový kód používaný v jádrech operačních systémů, sdílených knihovnách, nebo interpreterech vyšších programovacích jazyků.
Cílem této práce je navázat na současné techniky pro analýzu programů s dynamickou pamětí, zejména pak na techniky založené na Separační logice a tzv. bi-abdukci. Práce může být směrována na jazyk C/C++, nebo jiný vhodný programovací jazyk. Práce bude navazovat na práci členů skupiny VeriFIT a práci dr. F. Zulegera z TU Wien.
Alternativním směrováním práce může být navázat na současné techniky pro automatizovanou analýzu složitosti s cílem analýzy otevřeného kódu a/nebo kódu se složitými datovými strukturami. Práce bude navazovat na práci členů skupiny VeriFIT a práci dr. F. Zullegera z TU Wien a dr. M. Sinna z Fachhochschule St. Pölten.
Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT technikami pro verifikace programů se složitými datovými strukturami (zejména dr. L. Holík, prof. T. Vojnar, ing. T. Dacík, ing. V. Šoková). V případě zodpovědného přístupu a kvalitních výsledků je zde možnost zapojení do grantových projektů (včetně mezinárodních). Je zde rovněž možnost úzké spolupráce s různými zahraničními partnery VeriFIT: TU Wien, Rakousko (dr. F. Zulleger); Verimag, Grenoble, Francie (dr. R. Iosif); IRIF, Paříž, Francie (prof. A. Bouajjani, dr. M. Sighireanu).
V rámci tématu se student může také aktivně zapojit do různých grantových projektů řešených v rámci skupiny VeriFIT.
Školitel: Rogalewicz Adam, doc. Mgr., Ph.D.
Hodnocení úplnosti testovacích sad vůči softwarovým požadavkům představuje zásadní problém při verifikaci kritických systémů, zejména v regulovaných doménách. Současná praxe je převážně založena na manuálním posuzování, které je náročné a náchylné k chybám. Disertační práce se zaměří na výzkum formálních a automatizovaných metod pro analýzu pokrytí požadavků testovacími případy, s důrazem na sémantické aspekty požadavků a jejich implicitní chování. Cílem práce je navrhnout formální rámec pro reprezentaci požadavků a testovacích případů a definovat objektivní kritéria pokrytí vycházející ze sémantiky požadavků (např. kombinace podmínek, časová omezení, sekvence akcí či stavové přechody). Na tomto základě budou zkoumány metody pro výpočet míry pokrytí testovací sady a pro identifikaci nepokrytých sémantických případů. Výzkum se zaměří zejména na následující oblasti:
Součástí práce bude návrh a implementace prototypových nástrojů podporujících vybrané aspekty navrženého přístupu a jejich ověření na příkladech z oblasti vestavěných a avionických systémů. Důraz bude kladen na propojení formálních metod, testování softwaru a technik automatizace analýzy, s cílem přispět k systematickému a opakovatelnému hodnocení kvality testovacích sad.
Řešení tohoto projektu bude vycházet ze stávajících poznatků o formálních modelech diskontinuitního výpočtu, zejména skákajících gramatik a automatů. Cílem je konstrukce a výzkum nových automatových a gramatických modelů, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na diskontinuitním výpočetu. Aplikace těchto modelů se budou soustředit na modelování a výzkum ve všech oblastech, které diskontinuitní výpočet používají, např. bioinformatiky.
Výsledky prvního roku řešení problému budou publikovány v Acta Informatica v 2025.
Školitel: Meduna Alexandr, prof. RNDr., CSc.
Umělé konvoluční a transformerové neuronové sítě (NN) se v poslední době hojně používají ve výpočetně náročných úlohách klasifikace, predikce a rozpoznávání. Cílem disertační práce bude navrhnout metody pro optimalizaci inference NN na vestavěných zařízeních. Úkolem bude snižovat energetickou náročnost výstupu za pomoci pokročilých technik, jako je např. hledání vhodné reprezentace dat a vah, architektury sítě, optimalizace plánování výpočtu na existujících platformách či vlastní implementace části výpočtu NN. Výzkum spadá do témat řešených výzkumnou skupinou EvoAI Hardware.
Školitel: Mrázek Vojtěch, doc. Ing., Ph.D.
Různé typy logik a automatů patří mezi nejzákladnější objekty studované a aplikované v oblasti informatiky již desítky let. Přesto v této oblasti existuje řada dosud neuspokojivě vyřešených problémů a neustále se objevují nové, vzrušující problémy související se stále novými aplikacemi logik a automatů (např. při formální verifikaci konečně i nekonečně stavových systémů s různými pokročilými řídicími či datovými strukturami, v rozhodovacích procedurách, při syntéze programů či hardware, ve verifikaci kvantových programů nebo i v metodách efektivního vyhledávání v různých typech dat či v síťovém provozu).Předmětem disertační práce bude primárně rozvoj současného stavu v oblasti efektivní práce s různými logikami (např. nad ukazatelovými strukturami, řetězci, různými aritmetikami, temporálními logikami apod.). Za tím účelem budou zkoumány přístupy založené na různých typech rozhodovacích diagramů, automatů, ale také např. přístupy založené na existenci modelu omezené velikosti či na efektivních redukcích mezi různými typy logických teorií. V souvislosti s tím pak budou rozvíjeny i metody efektivní práce s rozhodovacími diagramy a různými typy automatů (automaty nad slovy, stromy, nekonečnými slovy, automaty s čítači, registry apod.). Práce zahrne jak teoretický výzkum, tak také prototypovou implementaci navržených technik a jejich experimentální vyhodnocení.Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT rozvojem technik pro práci s logikami a automaty a jejich aplikacemi. Je zde rovněž možnost úzké spolupráce s různými zahraničními partnery VeriFIT: Academia Sinica, Taiwan (prof. Y. Chen); TU Vienna, Rakousko (doc. F. Zuleger); LSV, ENS Paris-Saclay (prof. M. Sighireanu); IRIF, Paříž, Francie (prof. A. Bouajjani, doc. P. Habermehl, doc. C. Enea), Verimag, Grenoble, Francie (doc. R. Iosif); Uppsala University, Švédsko (prof. P.A. Abdulla, prof. B. Jonsson); či RPTU, Kaiserslautern, Německo (prof. A.W. Lin).
Školitel: Lengál Ondřej, doc. Ing., Ph.D.
Strojové učení, evoluční algoritmy a jejich kombinace mají značný potenciál při zvyšování úrovně automatizace návrhu číslicových obvodů a při automatizovaném generování inovativních obvodových řešení. Typickým příkladem je návrh, implementace a optimalizace akcelerátorů algoritmů strojového učení, vč. hlubokých neuronových sítí, či jejich klíčových komponent, např. aritmetických obvodů. Cílem výzkumu bude hledání nových použití metod evolučního strojového učení při automatizovaném návrhu hardwarových akcelerátorů DNN, aproximativních aritmetických obvodů či logické syntéze. Součástí projektu bude tvorba a evaluace vhodných datových sad, experimentálních návrhových systémů, náhradních modelů pro urychlení evaluace apod.Výzkum spadá do témat řešených výzkumnou skupinou EvoAI Hardware.
Školitel: Sekanina Lukáš, prof. Ing., Ph.D.
Řešení tohoto projektu bude vycházet z filosofických, logických a matematických poznatků výynamných myslitelů, jejichž dílo mělo a má zásadní výynam pro základy dnešní informatiky. Hlavní pozornost bude věnována pracem těchto logiků - Rudolf Carnap, Kurt Gödel, Bertrand Russel, Ludwig Wittgenstein, Alan Turing, Berttrant Otto Neurath, Herbert Feigl, Philipp Frank, Friedrich Waismann, Hans Hahn, Hans Reichenbach, Gustav Hempel, Alfred Tarski, Willard Van Orman Quine a Alfred Ayer. Cílem je vytvoření systematického pojednání, které vyloží základy současné informatiky na bázi filosofie a logiky. Výsledky budou publikovány v časopisech na mezinárodní úrovni s cílem projekt uzavřít publikací knižní v prestižním nakladatelství Springer.
Řešení tohoto projektu bude vycházet ze stávajících poznatků o formálních systémech distribuovaného výpočtu. Cílem je konstrukce a výzkum nových automatových a gramatických systémů, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na distribuci. Aplikace těchto systémů se budou soustředit na modelování a výzkum organismů v molekulární biologii a překladačích.
Výsledky prvního roku řešení problému budou publikovány v Acta Informatica v 2023.
Řešení tohoto projektu bude vycházet ze stávajících poznatků o formálních systémech paralelního výpočtu. Cílem je konstrukce a výzkum nových automatových a gramatických systémů, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na distribuci. Aplikace těchto systémů se budou soustředit na modelování a výzkum organismů v molekulární biologii a překladačích.
Výsledky prvního roku řešení tohoto problému budou publikovány v Acta Informatica v 2025.
Genetické programování (GP), které využívá velký jazykový model (LLM) jako sofistikovaný genetický operátor, či LLM, který používá GP pro řízení generování řešení, se v poslední době využívají pro zefektivnění automatizovaného návrhu programů i číslicových obvodů. Cílem projektu bude vytvořit metodu, která vhodně zkombinuje GP a LLM s cílem vylepšit kvalitu generovaných programů či obvodů a současně zrychlit celý proces návrhu. Vytvořená metoda bude ohodnocována na etablovaných testovacích úlohách z oblasti syntézy programů i obvodů. Výzkum spadá do témat řešených výzkumnou skupinou EvoAI Hardware.
Téma je řízeno potřebami uživatelů, pro které je soukromí dat klíčové, a zaměřuje se na vylepšení systémů umělé inteligence (zejména rozpoznávání řeči) v případě, že je uživatel schopen identifikovat a opravit chyby způsobené AI systémem. Téma zahrnuje správné vyhodnocení systémů HIL, výběr dat, která mají být navržena k opravě, a samotné techniky jemného doladění/adaptace pracující s rozsáhlými předtrénovanými modely.
Školitel: Černocký Jan, prof. Dr. Ing.
Veľké jazykové modely (LLM) v súčasnosti stoja za veľkou časťou pokroku v oblasti umelej inteligencie, a to najmä vďaka schopnosti vykonávať širokú škálu úloh v zero-shot režime – teda na základe opisu úlohy v prirodzenom jazyku – a tiež vďaka veľkému množstvu poznatkov o svete, ktorými disponujú.
Napriek tomu má súčasná generácia LLM stále viacero slabín, ktoré obmedzujú ich kompetentnosť pri riešení širokého spektra náročných úloh; napr.:
Ďalším príkladom je obmedzená schopnosť efektívne sa za behu učiť zo skúseností (čo je zložka toho, ako dosahujú skutočnú kompetenciu ľudia) a mnoho ďalších problémov. Hoci to v značnej miere platí pre všetky dnešné modely, tieto problémy sú typicky oveľa výraznejšie pri malých modeloch. To má, samozrejme, vážne dôsledky pre množstvo aplikácií, ktoré vyžadujú kompaktné modely, ktoré je možné prevádzkovať lokálne.
Cieľom tohto výskumu je:
Súvisiace publikácie:
Výskum bude doktorand vykonávať v rámci Kempelenovho inštitútu inteligentných technológií (KInIT, https://kinit.sk) v Bratislave v spolupráci s priemyselnými partnermi alebo výskumníkmi zo svetovo uznávaných výskumných skupín. Predpokladá sa kombinovaná (externá) forma štúdia a pracovný pomer na plný úväzok v KInIT.
Školitel: Gregor Michal, doc. Ing., Ph.D.
Multilingválne schopnosti veľkých jazykových modelov (LLM) umožňujú generovať text v mnohých jazykoch, prípadne viacjazyčný text aj analyzovať. Chýbajú však štandardné metódy a metriky schopné merať kvalitu viacjazyčných textov. Analýza, hodnotenie a anotácia týchto textov ľuďmi je nákladná a časovo náročná, pričom následná replikovateľnosť je otázna (kvôli zabezpečeniu konzistencie anotátorov). V niektorých jazykoch je veľmi náročné získať ľudské anotácie, nehovoriac o vyvážení úrovne expertízy a prípadnej demografickej diverzity anotátorov naprieč jazykmi. Výskumníci už dlhšie experimentujú s použitím samotných LLM na vyhodnotenie rôznych aspektov kvality textov (napr. koherencia, gramatická korektnosť, lingvistická akceptovateľnosť) vo viacerých jazykoch, či už generovaných jazykovými modelmi alebo písaných ľudmi. Aj LLM anotácia môže byť však zaujatá kvôli vnútornej zaujatosti samotných hodnotiacich modelov zapríčinenej trénovacími dátami.
Je potrebné neustále zvyšovať robustnosť takejto meta-evaluácie (kvôli minimalizovaniu zaujatosti a zvýšeniu objektívnosti), či už zvýšením počtu hodnotiacich LLM alebo zabezpečením diverzity pomocou modifikácie personality hodnotiaceho modelu, s ohľadom na výpočtovú efektívnosť metódy a jej praktickú využiteľnosť. Taktiež je potrebné preukázať koreláciu meta-evaluácie s ľudskými anotáciami a vyhodnotiť pre ktoré aspekty kvality textu a v ktorých jazykoch je takáto meta-evaluácia vhodnou a použiteľnou alternatívou.
Výskum bude doktorand vykonávať v rámci Kempelenovho inštitútu inteligentných technológií (KInIT, https://kinit.sk) v Bratislave v spolupráci s priemyselnými partnermi alebo výskumníkmi zo svetovo uznávaných výskumných skupín v rámci medzinárodných výskumných grantov. Predpokladá sa kombinovaná (externá) forma štúdia a pracovný pomer na plný úväzok v KInIT.
Školitel: Macko Dominik, doc. Ing., Ph.D.
V současné době dochází k dynamickému rozvoji metod umělé inteligence, zejména velkých jazykových modelů, které umožňují pokročilé zpracování a interpretaci rozsáhlých nestrukturovaných dat. Přesto však zůstává otevřeným problémem efektivní dolování znalostí z heterogenních datových zdrojů a jejich transformace do podoby vhodné pro trénování a zlepšování AI systémů. Kvalita a struktura vstupních znalostí přitom zásadně ovlivňuje výslednou přesnost, robustnost i interpretovatelnost těchto systémů.
S rostoucí komplexitou dat i požadavků na automatizované rozhodování narůstá potřeba vývoje metod, které umožní systematickou extrakci, reprezentaci a využití znalostí napříč různými doménami. Tato problematika má jak významný teoretický přínos, tak i široký aplikační potenciál v oblasti inteligentních agentů a decision support systémů.Cílem disertační práce je navrhnout, implementovat a experimentálně ověřit nové přístupy k dolování, reprezentaci a využití znalostí z heterogenních datových zdrojů pro zlepšení výkonu AI systémů založených na jazykových modelech.
Současně bude práce koncipována obecně, aby výsledky byly přenositelné i do dalších oblastí, kde je klíčová práce se znalostmi a daty, jako jsou podnikové informační systémy, decision support systémy, autonomní AI agenti nebo aplikace v průmyslu, zdravotnictví či veřejné správě.
Školitel: Burget Radek, doc. Ing., Ph.D.
Výzkumný problém: Význam duševního zdraví v posledním desetiletí výrazně vzrostl. Metody pro hodnocení problémů duševního zdraví v raných stádiích jsou však stále v plenkách ve srovnání s dostupností odpovídajících metod pro včasné hodnocení problémů fyzického zdraví. Je tedy nutné, aby byl proveden patřičný výzkum s cílem vyvinout metody pro včasné hodnocení abnormalit vedoucích k problémům duševního zdraví.
Problémy se současnými řešeními: Na rozdíl od fyzického zdraví se duševní zdraví posuzuje prostřednictvím řady subjektivních parametrů. Proto chybí objektivní a kvantitativní metody pro hodnocení duševního zdraví. Navíc pacienti vyhledávají pomoc, až když je jejich duševní problém v pokročilé fázi. Chybí tedy nepřetržité sledování jejich duševního zdraví.
Výzvy: Mnoho abnormalit souvisejících s problémy duševního zdraví se jen nepatrně projevuje a souvisí s chováním a dalšími změnami ve výrazech obličeje, řeči a rukopisu. Kromě toho dochází ke změnám hladiny kortizolu, kožní vodivosti, variability srdeční frekvence a frekvence dýchání. Existuje tedy několik modalit, které by měly být zahrnuty pro měření a kvantifikaci jakýchkoli abnormalit souvisejících s duševním zdravím.
Téma práce: Každá modalita má své pro a proti. Například v neurozobrazování má funkční magnetická rezonance vysoké prostorové rozlišení (v mm) a nízké časové rozlišení (v sekundách), zatímco elektroencefalogram má nízké prostorové rozlišení (v cm) a vysoké časové rozlišení (v milisekundách). Kombinace obou povede k vysokému prostorovému i vysokému časovému rozlišení. Výzkum se bude zabývat hodnocením abnormalit vedoucích k problémům duševního zdraví pomocí multimodálního přístupu. Různé modality mohou mimo jiné zahrnovat mozkové signály elektroencefalogramu (EEG), obličejová videa, zvuk řeči, rukopis a text ze sociálních médií. Mezi fyziologické parametry z různých modalit patří mimo jiné srdeční frekvence, frekvence dýchání, dominantní emoce, únava a stres. Dominantní emoce mohou být klasifikovány jako pozitivní nebo negativní a poté podřazeny jako smutné, šťastné, naštvané atd. Pro tuto multimodální analýzu budou vyvinuty techniky dolování dat a fúze dat. Pro tento projekt jsou k dispozici odpovídající multimodální data.
Pár slov o školiteli: Mám rozsáhlé zkušenosti s prací v oblasti zpracování neuro-signálů a neuroobrazu a v současné době jsem vedoucím výzkumné skupiny v této oblasti. Jedná se o multidisciplinární projekt a bude zahrnovat spolupráci s klinickými lékaři. Jádro projektu však souvisí s IT z hlediska vývoje nové metody. Neváhejte mě kontaktovat na malik@fit.vutbr.cz
Školitel: Malik Aamir Saeed, prof., Ph.D.
Různé způsoby reprezentace 3D dat (mračna bodů, polygonální sítě, voxelová data, hloubkové mapy, 2D pohledy) zachycují tentýž geometrický objekt z odlišných perspektiv - liší se strukturou, topologií i informační silou. Současné metody hlubokého učení jsou typicky navrženy pro jednu konkrétní reprezentaci a neumějí efektivně přenášet znalost 3D tvarunapříč modalitami. Disertace se zaměří na výzkum modelů a mechanismů multimodální fůze, které se tomuto omezení vyhnou.
Součástí práce bude i aplikace zkoumaných metod v rámci projektů či smluvního výzkumu, na jejichž řešení se školitel podílí.
Školitel: Španěl Michal, doc. Ing., Ph.D.
Odporúčacie systémy sú integrálnou súčasťou prakticky každej modernej webovej aplikácie. Personalizované, resp. adaptívne služby, sa stali štandardom, ktorý je používateľmi aplikácií vyžadovaný skoro vo všetkých doménach (napr. spravodajstvo, četoví agenti, sociálne médiá alebo vyhľadávanie).
Personalizácia má významný vplyv na každodenný život miliónov používateľov naprieč mnohými doménami a aplikáciami. To je zdrojom zásadnej výzvy - návrh metód, ktoré sú nielen presné, ale aj dôveryhodné a spravodlivé. Táto výzva ponúka mnohé výskumné príležitosti vo viacerých smeroch:
Jednotlivé smery a výzvy môžu byť adresované vo viacerých doménach ako napríklad vyhľadávanie, elektronický obchod, spravodajstvo, sociálne médiá a iné.
Školitel: Kompan Michal, doc. Ing., PhD.
Cílem disertační práce je výzkum v oblasti tzv. generativní umělé inteligence - ať už se jedná o difusní a adversiální modely pro generování videa, generativní textové modely pro vytváření příběhů, automatické generování počítačového kódu, hudby, reprezentaci znalostí fyziky a chemie a podporu vědecké kreativity, případně kombinace všech těchto přístupů. Práce se zaměří na řešení problémů interakce člověka s generovanými mezivýsledky, přirozeného označování jednotlivých částí a konceptů tak, aby bylo možné na průběžné výsledky navazovat, a na vývoj metod úpravy datových sad a postupů učení, aby bylo možné řešit společenské problémy, spojené s vytvářenými kreativními modely - otázky spravedlivosti modelů, předpojatosti a začlenění konceptů tzv. zodpovědné umělé inteligence.
Praktické rozhodování v BDI systémech je tradičně založeno na samostatném vykonávání jednotlivých záměrů, což často vede k redundantnímu provádění akcí i v případech, kdy různé záměry sdílejí společné části.
Cílem této práce je rozšířit praktické rozhodování BDI agenta o schopnost identifikovat a využívat společné části záměrů, tak aby neexkluzivní (sdílené) akce, které postačí vykonat jednou, mohly současně přispívat k naplnění více záměrů.
Práce bude stavět na interpretačním rámci AgentSpeak(L) a na přístupu pozdního navazování proměnných (late binding variables), navrženém a experimentálně ověřeném v předchozím výzkumu. V tomto přístupu agent při interpretaci plánů udržuje kontext jako množinu možných substitucí proměnných dosažených v průběhu výpočtu, přičemž konečné navázání proměnných je odkládáno co nejpozději.
Tento mechanismus umožňuje sjednocovat části různých záměrů na základě sdíleného kontextu substitucí a realizovat jejich společné akční prefixy jediným provedením. Na tomto základě bude cílem práce navrhnout a implementovat rozšířený rozhodovací mechanismus, který identifikuje a vykonává společné části záměrů při zachování korektnosti BDI exekuce.
Současně bude umožněno zapojení současných metod umělé inteligence, zejména mechanismů pozornosti a posilovaného učení, pro adaptivní řízení výběru kombinací záměrů a jejich sdílených částí.
Výsledkem práce má být experimentální BDI systém, který omezuje redundantní vykonávání akcí a vykazuje vyšší efektivitu praktického rozhodování oproti tradičním BDI interpretacím.
Školitel: Zbořil František, doc. Ing., Ph.D.
Proliferácia odporúčacích systémov na sociálnych sieťach zvýšila potrebu metód, ktoré dokážu predikovať, ako používatelia interagujú s im prezentovaným obsahom. Kým súčasné prístupy označované aj ako digitálne dvojča (angl. digital twin) simulujú správanie konkrétnych jednotlivcov, tento projekt je motivovaný potrebou predpovedať ďalšiu interakciu archetypov používateľov, teda person definovaných demografickými a záujmovými charakteristikami. S rýchlym vývojom generatívnych modelov umelej inteligencie, vrátane LLM a multimodálnych systémov, zostávajú ich schopnosti predpovedať akcie používateľov – ako je kliknutie, označenie „páči sa mi“, preskočenie alebo zotrvanie pri obsahu – stále málo preskúmané.
Hlavným cieľom doktorandského výskumu je preskúmať a porovnať prístupy založené na AI na predikciu ďalšej interakcie používateľa v prostredí sociálnych médií, so zameraním na používateľské archetypy namiesto jednotlivcov. Na tento účel sa práca zameria na generatívne modelovacie stratégie (napr. prediktory založené na LLM), multimodálne enkodéry a hybridné architektúry schopné spracovávať a reagovať na streamovaný online obsah. Významná časť dizertačnej práce sa bude venovať anotácii obsahu v reálnom čase, identifikácii textových, obrazových a video atribútov, ktoré najlepšie predpovedajú používateľské správanie, napr. s využitím PEFT tehcník na rýchlu a efektívnu adaptáciu modelov. Projekt bude tiež analyzovať metodiky hodnotenia sekvenčných predikcií používateľských interakcií vrátane simulačných benchmarkov, ktoré odrážajú realistickú dynamiku platforiem.
Oblasťou aplikácie bude algoritmické auditovanie, výskumná oblasť skúmajúca, ako algoritmické systémy fungujú a či spĺňajú právne, etické alebo výkonnostné požiadavky. Presnejšie modely na predikciu ďalšej interakcie môžu prispieť prístupom algoritmického auditovani, ktoré budú viac autentické, keďže umožnia simulovaným agentom správať sa organickejšie a prirodzenejšie pri interakcii s odporúčacími systémami. Takéto vylepšenia môžu posilniť validitu auditov, umožniť testovanie vo veľkom rozsahu a priniesť hlbšie porozumenie vplyvu dizajnu odporúčacích systémov na rôzne používateľské archetypy.
Školitel: Srba Ivan, Ing., Ph.D.
Téma je zaměřeno na rozpoznávání řeči a zpracování dat pro komunikaci mezi řídícím letového provozu a pilotem v letectví. Bude zahrnovat všechny komponenty automatického rozpoznávání řeči (ASR), tj. zpracování dat, akustický model, slovní zásobu (včetně speciální letecké terminologie), jazykový model a interakci se zdroji metadat (radarové informace, letiště). Zvláštní pozornost bude věnována použití rozsáhlých předtrénovaných modelů, přepínání jazyků (code-switching), spolehlivé identifikaci jazyka z krátkých segmentů a adaptaci na podmínky daného letiště s využitím veřejných dat.
Cílem této práce je zkoumat kognitivní zátěž a míru stresu, kterým jsou pracovníci vystaveni při přímé spolupráci s robotickými systémy. Výzkum využívá technologie mixované reality (MR) a digitální dvojčata k hloubkové analýze faktorů ovlivňujících lidskou psychiku v automatizovaném prostředí. Hlavním úkolem je identifikovat příčiny stresu v různých průmyslových scénářích a navrhnout metody, jak těmto negativním vlivům předcházet nebo je zmírňovat prostřednictvím adaptivního rozhraní.
Práce propojuje testování na reálných robotických pracovištích s jejich digitálními replikami, což umožňuje bezpečné simulování a optimalizaci kritických situací. Ke kvantifikaci zátěže budou využity biometrické signály (např. srdeční tep, sledování pohledu, mozková či svalová aktivita apod.), které poslouží jako zpětná vazba pro dynamickou úpravu prostředí v MR. Využití prvků rozšířené reality pro navigaci a diminished reality pro odfiltrování rušivých vlivů umožní vytvořit pracovní prostor, který se v reálném čase přizpůsobuje aktuálním potřebám a kapacitě operátora.
Přínos výzkumu spočívá v definování standardů pro ergonomickou a bezpečnou interakci člověka s robotem v duchu Industry 5.0. Výsledky práce poskytnou průmyslu postupy, jak nasazovat pokročilé technologie tak, aby zvyšovaly efektivitu výroby, ale zároveň chránily duševní zdraví a dlouhodobou pohodu zaměstnanců. Tento přístup je klíčový pro budoucí integraci komplexní robotiky do běžných pracovních procesů bez rizika kognitivního přetížení.
Školitel: Beran Vítězslav, doc. Ing., Ph.D.
Aj napriek rozšíreniu veľkých jazykových modelov s proklamovanou univerzálnou použiteľnosťou, zostáva veľa úloh automatického spracovania textu nedostatočne vyriešených. Úlohy, ktoré je potrebné riešiť v jazykoch s malým množstvom zdrojov sú riešené s nižšou úspešnosťou. Problematickými tiež zostávajú úlohy, ktoré vyžadujú citlivosť na detaily, kontext, či čerstvé informácie. Príklady úloh na priesečníku oboch týchto dimenzií zahŕňajú spracovanie dát zo sociálnych médií za účelom detekcie naratívov, analýzy diskurzu, detekcie toxického obsahu, detekciu organizovaných vplyvových kampaní, odhaľovanie manipulácie, podpora fact-checkingu, či auditovanie odporúčačov sociálnych médií.
Keďže vyššie uvedený problém možno chápať ako nedostatok dát pre špecifické úlohy, ako jedno z riešení sa ponúka využívať schopnosti veľkých jazykových modelov. Nejde tu však o samotné riešenie, ale o generovanie či augmentovanie dátových vzoriek, na ktorých je následne možné vytvoriť špecializované (menšie) modely. Výhoda takéhoto prístupu je určitý vyšší stupeň kontroly nad konečným modelom (vieme kontrolovať generované dáta), ako aj nižšia cena a stopa využívania konečného modelu (je menší). Na druhej strane, nevýhodou takéhoto prístupu je jeho nižšia priamočiarosť a metodologická nejednoznačnosť. Práve tá však v súčasnosti predstavuje príležitosť na výskum.
Téma dizertačnej práce predpokladá výskum metód a metodológie vytvárania automatických prístupov na klasifikáciu (či iné automatické spracovanie) textov v heterogénnych a nestálych doménach, ktoré sú charakteristické nedostatkom zdrojov, predovšetkým označkovaných dát, no sekundárne aj obmedzenej výpočtovej sily.
Školitel: Šimko Jakub, doc. Ing., PhD.
Práce začne seznámením se základy problematiky detekce hlasových podvrhů (voice deepfake detection, DFD), terminologií, dostupnými technikami, daty a evaluacemi (AVSpoof, WildSpoof), s historií a SotA v oblasti technik a nástrojů pro rozpoznávání mluvčích (wespeaker toolkit), se SotA v oblasti technik a nástrojů pro personalizovanou syntézu textu na řeč (pTTS) a převod hlasu. Téma se pak zaměří na vyhodnocení výkonu člověka a stroje v DFD, přičemž se soustředí na aspekt motivace lidských subjektů k simulaci skutečných útoků na lidi. Doktorand pak bude postupovat jak v (1) technickém směru (pokrok v technologii generování a detekce deepfake), tak (2) lidském aspektu. Práce počítá se spoluprací s odborníky z oblasti psychologie a sociologie.
Cílem doktorského studia je analyzovat vlastnosti moderních a populárních uživatelských rozhraní se zaměřením na kognitivní zátěž, techniky pro rozvoj závislosti, vnímání obsahu generovaného pomocí AI, vnímání reklamy a další současné závažné fenomény. Student bude prototypovat prvky uživatelských rozhraní a navrhovat a realizovat uživatelské testy, které umožní hlubší pochopení studovaných fenoménů, upozorní na existující rizika a povedou k návrhu prvků uživatelských rozhraní, které budou představovat uživatelsky prospěné alternativy.
Školitel: Herout Adam, prof. Ing., Ph.D.
Cílem disertační práce je výzkum modelů vestavěné inteligence, která explicitně pracuje s energetickou náročností konkrétních operací a optimalizuje svoji činnost na základě konkrétních omezení na straně jednotlivých zařízení, případně celého systému. Součástí bude i realizace vybraných modelů na vhodném typu hardware, který bude možné využít v mezinárodních projektech, na jejichž řešení se vedoucí podílí.
Tato disertační práce je zaměřena na rozvoj prostředků pro víceúrovňové modelování a koordinaci akcí v kontextu holonických systémů s využitím Robot Operating System (ROS). Holonické systémy, představující autonomní entity nazývané holony, nabízejí flexibilní přístup k organizaci autonomních prvků v rámci vyšších organizačních úrovní. Koncept holonů nachází uplatnění v širokém spektru oblastí, včetně průmyslové robotiky, inteligentní dopravy, autonomních vozidel, senzorických systémů a obecně v oblastech kyberneticko-fyzikálních systémů (CPS), Průmyslu 4.0 a Internetu věcí (IoT). Robot Operating System (ROS) je framework pro vývoj distribuovaných inteligentních systémů a robotů, umožňující komunikaci a spolupráci mezi autonomními entitami. Cílem této práce je poskytnout nové metody a nástroje, které povedou k efektivní integraci holonických konceptů do prostředí ROS. Zároveň se očekává, že práce přinese inovativní přístupy ke koordinaci akcí mezi autonomními entitami na různých úrovních organizace systému. Experimentální ověření navržených prostředků proběhne v reálných i simulovaných prostředích, s důrazem na možné aplikace v průmyslu a rozvíjejících se technologiích.
Školitel: Janoušek Vladimír, doc. Ing., Ph.D.
Zkoumejte výpočetní muzikologií a formálními modely používané v této vědecké oblasti, včetně vhodných gramatik a automatů. Studujte jejich vlastnosti, např sílu či složitost popisu. Zkoumejte jak formalizovat vybrané hudební pojmy prostřednictvím těchto modelů. Navrhněte metody tvorby počítačové hudby na bázi těchto modelů. Aplikujte navržené metody v hudbě, např. pro klasifikaci či tvorbu vybraných hudebních pasáží. Implementujte tyto aplikace . Vyhodnoťte takto vzniklé implementace pomocí vhodné metody, indikátorů a ukazatelů. Porovnejte je s obdobnými existujícími implementacemi. Veškeré poznatky publikujte na špičkové mezinárodní úrovní, např. v prestižních mezinárodních časopisech.
Vysvětlitelná umělá inteligence (XAI) se zaměřuje na posílení důvěry, srozumitelnosti a použitelnosti složitých modelů. Mezi klíčové oblasti patří vytváření vysvětlení zaměřených na člověka, stanovení objektivních hodnotících metrik a nalezení rovnováhy mezi přesností a srozumitelností. V poslední době se výzkum přesunul směrem k interaktivním vysvětlením, k hodnocení toho, jak modely umělé inteligence zpracovávají data a jak se vypořádávají se zaujatostí, k transparentnímu sdělování nejistoty výsledků a k hodnocení kvality generovaných vysvětlení.
Disertační práce se bude zabývat aspekty zaměřenými na člověka a kognitivní aspekty, sladění vysvětlení AI s lidskou psychologií a kognitivními schopnostmi, zdůraznění rozdílů mezi vysvětleními mezi lidmi a mezi AI a člověkem, vývojem interaktivních vysvětlení založených na dialogu, která uživatelům umožní klást otázky typu „co by, kdyby“ a zkoumat chování modelů v těchto případech, a objektivní měření kvality, srozumitelnosti a účinnosti vysvětlení pro uživatele. Počáteční oblast použití bude odpovídat ověřování faktů v kontextu boje proti dezinformacím.
Vývoj v oblasti kvantových počítačů jde nezadržitelně kupředu. Pro efektivní využití kvantového hardware je však potřeba mít správnou podporu na úrovni software, tj. kvantových algoritmů pro řešení problémů, ale i nástrojů pro kompilaci, optimalizaci a syntézu kvantových programů, jejich mapování na konkrétní kvantovou technologii, jejich mapování na protokol pro zajištění ochrany vůči chybám, analýzu, simulaci a ladění kvantových programů, atd.
Předmětem dizertační práce bude primárně rozvoj současného poznání v oblasti použití formálních metod pro podporu vývoje kvantových programů. Hlavní zaměření zde bude na využití teorie automatů, automatického usuzování a rozhodovacích diagramů. V souvislosti s tím pak budou rozvíjeny i metody efektivní práce s rozhodovacími diagramy a různými typy automatů (automaty nad slovy, stromy, nekonečnými slovy, automaty s čítači, registry apod.). Práce zahrne jak teoretický výzkum, tak také prototypovou implementaci navržených technik a jejich experimentální vyhodnocení.
Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT rozvojem technik pro práci s logikami a automaty a jejich aplikacemi. Je zde rovněž možnost úzké spolupráce s různými zahraničními partnery VeriFIT: Academia Sinica, Taiwan (prof. Y. Chen); Uppsala University, Švédsko (prof. P.A. Abdulla, prof. R. S. Thinniyam); či Leiden Institute for Advanced Computer Science, Leiden, Nizozemsko (prof. A. Laarman).
Táto práce je určena pro zkoumání možných aplikací ZK konstruktů v kontextu systémové bezpěčnosti a taky veřejných blockchainů. ZK konstrukty slouží k veřejnému ověření správnosti určitého výpočtu nebo operace, aniž by byly odhaleny jakékoli soukromé údaje související s výpočtem/operací. Tímto způsobem je možné implementovat například veřejné hlasovací nebo aukční protokoly, které zachovávají soukromí dat veřejně vytvářených distribuovanými účastníky. Nejběžnější konstrukce ZK jsou často instanciovány schématy, která poskytují homomorfní šifrování, jako je ElGammalovo šifrování. Proveditelnost těchto konstrukcí v doméně veřejného blockchainu však může být různá z důvodu možných vysokých nákladů, případně bezpečnostních aspektů. Úkolem této práce je analyzovat a kvantifikovat tyto existující možnosti a navrhnout nové nejsmysluplnější aplikace v systémové bezpečnosti.
Školitel: Homoliak Ivan, doc. Ing., Ph.D.
Medzi aktuálne výzvy, ktorým v súčasnej dobe čelí energetika, možno zaradiť zachovanie stability v energetickej sieti, agregáciu flexibility, prevádzku energetických komunít, smart nabíjanie elektromobilov aj efektívne využitie batériových úložísk. Obnoviteľné zdroje sú silne závislé od počasia, preto centrom záujmu je aj predikcia počasia.
ENVIRO tím v KInITe sa venuje spomínaným úlohám, pričom spoločnou črtou navrhovaných riešení sú prístupy založené na strojovom učení a umelej inteligencii. Skúmame a experimentujeme s rôznymi metódami ako zohľadnenie fyzikálnych zákonitostí v modeloch strojového učenia (physics-informed machine learning), s prístupmi ako transfer či federative learning ako aj reinforcement learning, v súčasnosti populárnym prístupom na optimalizáciu rozhodovania v dynamickom prostredí. Zaujímavý smer výskumu ponúkajú aj foundational modely a ich porovnanie s tradičnými prístupmi. Riešime úlohy, ktoré spracovávajú časové rady, ako aj obrazové dáta metódami počítačového videnia.
Cieľom PhD práce bude navrhnúť riešenie vybraného problému energetiky alebo životného prostredia (napríklad agregácia flexibility alebo modelovanie klímy / predpoveď počasia) aplikovaním pokročilých prístupov umelej inteligencie. Výber vhodných metód strojového učenia bude závisieť od špecifík riešeného problému a voľby doktoranda.
Relevant publications:
Školitel: Rozinajová Věra, Doc., Ph.D.
Cílem doktorského studia bude rozvíjet nově navrženou techniku Malleable Glyph z oblasti interakce člověka s počítačem, vizualizace a počítačového vidění. Řešitel bude vyvíjet algoritmy strojového učení a počítačového vidění nad glyphy. Řešitel bude dále spoluorganizovat výzvu The Malleable Glyph Challenge, navrhovat nové modality glyphů, vyhodnocovat glyphy dodané studenty a lidmi z třetích institucí a vytvářet taxonomii glyphů.
Veľké jazykové modely sa čoraz častejšie používajú pre široké spektrum úloh a v rôznych kontextoch interaktívnym (četovacím) spôsobom. Je pritom výzvou, aby táto interakcia bola v súlade s ľudskými očakávaniami a hodnotami a zároveň, aby neposilňovala skreslenia alebo negatívne spoločenské prejavy modelu, ako sú napríklad podlízavosť, manipulatívnosť a pod. Aby sme to dosiahli, potrebujeme jednak vedieť merať mieru pozitívnych alebo negatívnych prejavov modelu a tiež mať (ideálne) veľké dátové súbory interakcií človeka s veľkými jazykovými modelmi spolu s ľudskými preferenciami, ktoré môžu byť použité na trénovanie modelov. Na tento účel môžu byť v niektorých prípadoch použité aj syntetické dáta generované pomocou modelov trénovaných na reálnych používateľských dátach.
Hlavným cieľom práce je zlepšiť interakciu človeka s veľkými jazykovými modelmi pomocou použitia vstupov od ľudí (napr. v podobe ich preferencií) za účelom trénovania konverzačných schopností týchto modelov a súčasnej kontroly nechceného správnia (ako sú napr. skreslenia, podlízavosť, manipulatívnosť, a pod.). Alternatívne sa téma môže zamerať na meranie negatívnych alebo pozitívnych prejavov spoločenského správania modelov v rôznych situáciách a kontextoch alebo na zlepšovanie bezpečnosti modelov pri zohľadnení kontextu a používateľských preferencií.
Aplikačné domény sú rôzne, vrátane (ale nielen) auditovanie bezpečnosti veľkých jazykových modelov vzhľadom na rôzne skupiny používateľov (vrátane detí a mladistvých), zneužitie modelov na generovanie dezinformácií alebo detekcia signálov kredibility a ich vyhodnocovanie.
Školitel: Móro Róbert, Ing., Ph.D.
Rýchly rozvoj veľkých jazykových modelov (LLMs) a ďalších foundation modelov zásadne zmenil spracovanie prirodzeného jazyka (NLP) a umožnil vznik aplikácií, ako sú konverzační asistenti, pomocníci pri programovaní či pokročilé systémy prístupu k informáciám. Tieto technológie už dnes ovplyvňujú každodenný život a menia spôsob, akým organizácie pracujú s textom a vedomosťami.
Napriek veľkým úspechom zostáva mnoho otvorených výskumných problémov. Mnohé modely sa správajú ako „čierne skrinky“, môžu generovať halucinujúci obsah, reprodukovať spoločenské biasy a zlyhávať pri prenose do nových domén, úloh či nízkozdrojových jazykov. Zároveň rastie dopyt po modeloch, ktoré sú dôveryhodné, efektívne, ľahko prispôsobiteľné a zároveň rešpektujú požiadavky na bezpečnosť, súlad s reguláciou a ochranu dát.
Táto dizertačná práca sa bude zaoberať metódami porozumenia, adaptácie a riadenia veľkých jazykových modelov so špeciálnym dôrazom na dôveryhodnosť a NLP pre nízkozdrojové a doménovo špecifické prostredia. Práca môže prepájať teoretické aspekty, návrh modelov aj praktické experimenty na reálnych dátach.
Príklady zaujímavých výskumných výziev:
Téma ponúka vysokú mieru flexibility a dá sa prispôsobiť záujmom doktoranda – od teoretickejšie zameraného výskumu správania modelov až po aplikovaný výskum v spolupráci s akademickými či priemyselnými partnermi.
Výskum bude doktorand(ka) vykonávať v rámci Kempelenovho inštitútu inteligentných technológií (KInIT, https://kinit.sk) v Bratislave v spolupráci s priemyselnými partnermi alebo výskumníkmi zo svetovo uznávaných výskumných skupín. Predpokladá sa kombinovaná (externá) forma štúdia a pracovný pomer na plný úväzok v KInIT.
Školitel: Šimko Marián, doc. Ing., Ph.D.