1-2 Doktorander i datavetenskap med fokus på symbolisk AI

Till vår institution, som bedriver forskning på högsta internationella nivå och tillhandahåller ett flertal högkvalitativa utbildningsprogram, söker vi nu 1-2 doktorander med fokus på symbolisk artificiell intelligens.

Institutionen för datavetenskap har haft en expansiv tillväxt under de senaste åren. Att skapa en inkluderande forskningsmiljö där medarbetare har en hög delaktighet är en viktig faktor i vår hållbara utveckling. Vår institution består av en diversifierad grupp människor från olika nationaliteter, bakgrunder och fält. Som doktorand hos oss har du tillgång till stöd för din karriärutveckling, nätverk, administrativ och teknisk support samt goda anställningsvillkor. För mer information besök https://www.umu.se/institutionen-for-datavetenskap/

Projektbeskrivning

I moderna mjukvarusystem och organisationerna som driver dem är en betydande del av de dagliga besluten med kritisk inverkan på enskilda människor och samhället helt automatiserade eller starkt beroende av automatiskt beslutsstöd. Medan metoder för maskininlärning blir allt vanligare i detta sammanhang, förblir systemens kärnor vanligtvis symboliska (kunskapsbaserade). Dessa symboliska eller neuro-symboliska mjukvarusystem är av hög praktisk komplexitet, vilket gör dem svåra att resonera kring, till exempel när man ska bedöma vilka förändringar på meta-nivå som leder till ett specifikt önskat mål med avseende på framtida systembeteende. I arbetet med att lösa detta problem är temat för det bredare projektet "Automating Reasoning about Automated Reasoning". Ur ett grundforskningsperspektiv avser detta automatisering av metaresonemang avseende generella resonemangsmetoder. Här är det tänkta fokuset på resonemangmetoder som kan revidera sina slutsatser inför ny evidens/kunskap. Planen är att täcka både banbrytande metoder som kombinerar subsymbolisk, symbolisk och mänsklig intelligens, såväl som industry-scale resonemangssystem. Instanser av den förra klassen är olika varianter av formal argumentation, medan fokus i det senare fallet kan ligga på vanliga business rule languages som används i storskaliga IT-system.

Inom den bredare sfären av temat "Automating Reasoning about Automated Reasoning" kan forskningsuppgifter väljas utifrån styrkorna hos den framgångsrika kandidaten, antingen i den breda riktningen av principbaserat meta-resonemang (formellt fokus) eller tillämpningar av automatiserad meta-resonemang till storskaliga mjukvarusystem (tillämpad fokus).

Forskning bedrivs i samarbete med andra forskare vid Institutionen för datavetenskap med fokus på kunskapsbaserad AI, under ledning av Vicenç Torra och Timotheus Kampik. Det finns utmärkta internationella samarbetsmöjligheter med globalt ledande forskningsgrupper och stora teknikföretag.

Wallenberg AI, Autonomous Systems and Software Program, WASP, är Sveriges största enskilda forskningsprogram i modern tid. Programmet skapar en plattform för akademisk forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskningen innefattar artificiell intelligens och autonoma system som verkar i samarbete med människor och som anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap och skapar intelligenta system av system. WASPs vision är excellent forskning och kompetens inom artificiell intelligens, autonoma system och mjukvara till gagn för Sveriges industri och samhälle. Läs mer: https://wasp-sweden.org

Forskarskolan inom WASP har som mål att förse framtidens forskare med nödvändig kunskap för att kunna analysera, utveckla och bidra aktivt till den tvärvetenskapliga utvecklingen av artificiell intelligens, autonoma system och mjukvara. Genom ett ambitiöst program med forskningsbesök, partneruniversitet och gästföreläsare stöder forskarskolan aktivt bildandet av ett starkt multidisciplinärt och internationellt professionellt nätverk mellan doktorander, forskare och industri. Forskarskolan erbjuder därmed en unik möjlighet för de studenter som lockas av internationell forskning i världsklass med industriell relevans. Mer information: https://wasp-sweden.org/graduate-school/

Kvalifikationer

För att bli antagen till utbildning på forskarnivå krävs det att den sökande har grundläggande behörighet genom avlagd examen på avancerad nivå, eller slutförda kursfordringar om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå, eller motsvarande utländsk utbildning, eller motsvarande kvalifikationer.

För att bli antagen till utbildning på forskarnivå inom ämnet datavetenskap krävs att den sökande har godkända kurser om minst 90 högskolepoäng i ämnet datavetenskap eller som är direkt relevanta för den aktuella specialiseringen.

Det är ett krav att du har:

• En grundläggande förståelse för och ett stort intresse för ett av följande ämnen:
  • o Logikbaserade resonemangssätt, till exempel formal argumentation, eller
  • o Formella aspekter av autonoma agenter och multiagentsystem.
• Avancerade programmeringskunskaper.
• Akademisk skrivförmåga och erfarenhet med LaTeX.

Det är mycket meriterande om du tycker om att arbeta med matematiknotation och formella bevis. Alternativt uppmuntras kandidater med bra kompetens inom programvaruteknik och med utmärkta skrivförmåga att söka.

Viktiga personliga egenskaper är, förutom kreativitet och kritiskt tänkande, utmärkt problemlösningsförmåga, disciplin, förmåga att arbeta både självständigt och i grupp samt erfarenhet av vetenskaplig interaktion med forskare med olika bakgrund. Arbetsspråket kommer att vara engelska.

Om anställningen

Anställningen syftar till en doktorsexamen, och doktorandens huvuduppgift är att ägna sig åt egen forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna kan undervisning och annat institutionsarbete (upp till max 20%) ingå. Anställningen är tidsbegränsad till fyra år heltid eller upp till fem år vid undervisning deltid.

Förväntat startdatum är 01.04.2025 eller enligt överenskommelse.

Löneplaceringen sker enligt fastställd lönestege för doktorandanställning. Enligt Högskoleförordningen (12 kap, 2 §) kan beslutet om anställning inte överklagas.

Så här ansöker du

Du ansöker via vårt rekryteringssystem (se nedan).

En fullständig ansökan ska innehålla:

• Ett personligt brev som beskriver dina forskningsintressen, och varför du söker den utlysta anställningen. Brevet ska också innehålla din kontaktinformation
• Kopior av examensbevis eller motsvarande
• Curriculum Vitae (CV)
• Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sådana finns
• Dokumentation och beskrivning av andra relevanta erfarenheter och kompetenser

Ansökan ska vara skriven på svenska eller engelska. Om bifogade dokument har annat originalspråk ska en översättning inkluderas. Bifogade dokument ska vara i Word eller pdf-format. Ansökan ska göras via Umeå universitets e-rekryteringssystem och vara inkommen senast 30-01-2025. Logga in i systemet och ansök via knappen längst ner på webbsidan.

Institutionen för datavetenskap värdesätter diversitet. Vi välkomnar därför i synnerhet kvinnor och personer utanför det binära genussystemet som sökande.

Vid frågor eller behov av ytterligare information, kontakta biträdande lektor Timotheus Kampik (tkampik @cs.umu.se).