Doctoraat in theoretische fundamenten van Stream Reasoning - Kortrijk, België - KU Leuven

Beschrijving

Je beschikt over een recent diploma of je behaalt dit academiejaar je diploma van master in de ingenieurswetenschappen: computerwetenschappen, master in (toegepaste) Informatica, of master in de Wiskunde.

Je hebt interesse in artificiële intelligentie, onderliggende theoretische aspecten en het efficiënt implementeren van algoritmen.

Je behaalde tijdens je studies minstens een onderscheiding.

Je kunt zelfstandig werken en goed samenwerken in een team.

Je beschikt over vlotte schriftelijke en mondelinge Nederlandse taalvaardigheid en je kan lesgeven in het Nederlands voor een groep studenten.

Je hebt interesse in vooruitstrevend onderzoek, zin voor initiatief en presenteert graag en goed over het onderzoek dat je boeit.

Het doctoraatsproject, onder leiding van Prof. Pieter Bonte, kadert binnen het onderzoeken van de onderliggende theoretische fundamenten van het Stream Reasoning onderzoeksveld. Stream Reasoning is een opkomend onderzoeksveld dat onderzoekt hoe beslissingen genomen kunnen worden uit datastromen voordat de inzichten verouderd raken. Datastromen verwijzen naar continue stromen van gegevens die voortdurend worden gegenereerd, bijvoorbeeld afkomstig door sensoren. Aangezien datastromen snel veranderen, zijn recentere inzichten typisch veel waardevoller.
Stream Reasoning is een interdisciplinair veld binnen de kunstmatige intelligentie dat kennis-gedreven technieken uit de logica combineert met data-gedreven technieken uit machinaal leren om snel intelligente conclusies te kunnen trekken uit verschillende datastromen. Vanuit een logisch perspectief wordt onderzocht welke logica's en logische fragmenten ontworpen kunnen worden om snel tot conclusies te komen, met de nodige logische expressiviteit om realistische domeinen te modelleren. Verder wordt onderzocht hoe voorkomen kan worden dat conclusies opnieuw geëvalueerd moeten worden bij het ontvangen van nieuwe informatie. Gezien datastromen onbegrensd zijn, kan niet alle kennis behouden blijven waardoor onderzoek nodig is om te bepalen welke delen van de kennis "vergeten" mag worden.
Stream Reasoning heeft tal van toepassingen, zoals binnen autonome voertuigen, robotica, webanalyse en het Internet of Things.

Functie:
Als wetenschappelijk medewerker (doctoraatsbursaal) heb je en ontwikkel je belangstelling voor de onderzoeksthema's in een onderzoeksgroep van de Informatica afdeling op KU Leuven Kulak, in het bijzonder in het verwerken van datastromen.
Je werkt samen met collega's onderzoekers zowel te Kortrijk, als in onderzoeksgroepen nationaal en internationaal, waarmee het lokale research team samenwerkt.
Je hebt belangstelling en je bent bereid en in staat om onderwijstaken met betrekking tot informatica vakken in de Bachelor Informatica, Wiskunde en Fysica, zowel voor de opleidingen binnen wetenschappen als voor de doorstroomoptie ingenieurswetenschappen in het opleidingsaanbod van Kulak, te ondersteunen en in het Nederlands te verzorgen. Bij de meeste van deze opleidingsonderdelen horen oefeningen-sessies of practica en is een effectieve aanwezigheid op de Campus Kulak Kortrijk vereist.De groep Wetenschap & Technologie van KU Leuven Campus Kulak te Kortrijk verzorgt het onderwijs in een brede waaier van bacheloropleidingen wetenschappen, onder andere in informatica, wiskunde en fysica, en in de doorstroomoptie naar burgerlijk ingenieur. Binnen deze groep zijn er verschillende Research Teams operationeel. Deze zijn zeer internationaal samengesteld. Dit maakt dat de Groep Wetenschap & Technologie een erg multi-disciplinaire en stimulerende werkomgeving is voor haar stafleden, medewerkers en studenten.We zoeken een gemotiveerde medewerker voor de afdeling Computerwetenschappen die wil meewerken in een doctoraatsproject binnen de groep Wetenschap & Technologie van KU Leuven Kulak.

Wij bieden een aanstelling als doctoraatsbursaal voor de duur van 1 jaar hernieuwbaar tot een totale duur van 4 jaar. Deze aanstelling kan op 1 oktober 2024 van start gaan.