Doktorand i Data- och systemvetenskap, med fokus på AI-assisterad programmering

Institutionen för data- och systemvetenskap. Med över 200 anställda och 4 500 studenter är Institutionen för data- och systemvetenskap (DSV) en stark och dynamisk forsknings- och utbildningsmiljö. Ämnet data- och systemvetenskap rör sig mellan teknik, humaniora, samhällsvetenskap och beteendevetenskap, med stor relevans för våra liv idag och i framtiden. Vår forskning handlar om hur ny informations- och kommunikationsteknologi ska utformas för att vara till nytta för människor, organisationer och hela samhällen.

DSV erbjuder en stimulerande forskningsgemenskap i en internationell miljö. Som doktorand hos oss studerar du tillsammans med ett stort antal andra doktorander, samarbetar med seniora forskarkollegor och får goda kontaktytor mot andra forskare i Sverige och utomlands. DSV utgör idag Stockholms universitets campus i Kista, men kommer inom ett par år att flytta till Frescati.

Mer information om oss finns på: Institutionen för data- och systemvetenskap.

Projektbeskrivning

Utvecklingen av stora språkmodeller har förändrat AI-assisterad mjukvaruutveckling och möjliggjort ökad produktivitet inom mjukvaruutveckling genom kodgenerering, kodkomplettering och kodgranskning. Samtidigt medför dessa modellers svårgenomträngliga beslutsprocesser utmaningar för utvecklare som vill förstå, validera och effektivt utnyttja AI-genererad kod. Att bygga transparenta och tolkbara AI-drivna programmeringsverktyg är viktigt för utvecklares tillit, för att underlätta felsökning och för att säkerställa programvarans kvalitet.

Detta doktorandprojekt syftar till att utveckla förklarande metoder för AI-baserade kodassistenter. Den som antas kommer att utforma och utvärdera tekniker som tydliggör modellens resonemang vid generering eller föreslag av kod. Potentiella angreppssätt kan inkludera (men är inte begränsade till) counterfaktisk analys och/eller mekanistisk tolkningsbarhet, där modellens interna representationer kopplas till programmeringsstrukturer eller programlogik. Förutom algoritmisk och metodologisk utveckling kan rollen även innebära att implementera förklaringskomponenter i verkliga utvecklingsverktyg samt att genomföra empiriska studier för att undersöka hur dessa förbättringar påverkar användarens tillit, felsökningseffektivitet och kodkvalitet.

Beroende på den sökandes vetenskapliga intressen och kompetens kan projektet fokusera på teoretiska grunder, algoritmisk innovation, systemintegration eller andra intressant frågeställningar in tolkningsbar maskininlärning.

Behörighetskrav

För att bli antagen till forskarutbildning krävs att den sökande har grundläggande och särskild behörighet. Behörigheten ska vara uppfylld senast sista ansökningsdag.

Grundläggande behörighet har du, om du avlagt examen på avancerad nivå, eller fullgjort kursfordringar om minst 240 högskolepoäng (hp), varav minst 60 hp på avancerad nivå, eller på annat sätt inom eller utom landet förvärvat i huvudsak motsvarande kunskaper.

Särskild behörighet beskrivs i den allmänna studieplanen för utbildning på forskarnivå inom ämnet Data- och systemvetenskap och innebär att den sökande med godkänt resultat ska ha genomgått kurser på avancerad nivå om minst 60 högskolepoäng inom huvudområdet Data- och systemvetenskap eller motsvarande, inklusive ett examensarbete om minst 15 högskolepoäng. För särskild behörighet krävs därutöver att den sökande har kunskaper i engelska motsvarande Common European Framework of Reference for Languages Level B2.

Urval

Urval bland de sökande görs med hänsyn till förmågan att tillgodogöra sig utbildning på forskarnivå. Kriterier som används för att bedöma denna förmåga är:

• Självständighet i analys och upplägg i tidigare arbeten
• Förmåga till problemformulering och stringens i tidigare arbeten och i forskningsplan
• Tidigare visad förmåga att hålla angivna tidsramar
• Metodmässig och vetenskaplig mognad
• Kommunikations- och samarbetsförmåga
• För utbildningen relevanta ämnesspecifika kunskaper.

Antagningsordning för utbildning på forskarnivå vid Stockholms universitet.

Om anställningen

Vi erbjuder en tidsbegränsad anställning som doktorand enligt 5 kap. högskoleförordningen (1993:100). Anställningstiden får inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år. Som doktorand ska du främst ägna dig åt din egen utbildning på forskarnivå, men i anställningen kan arbete med utbildning, forskning och administration ingå i begränsad omfattning (högst 20 %).

En ny anställning som doktorand gäller för högst ett år, anställningen förnyas därefter med högst två år i taget.

Stockholms universitet värnar om att vara en arbetsplats som är fri från diskriminering och ger lika rättigheter och möjligheter för alla.

Kontakt

Ytterligare information lämnas av Isak Samsten, samsten@dsv.su.se, och Peter Idestam-Almquist, pi@dsv.su.se, eller av studierektor för utbildning på forskarnivå Åsa Smedberg, studierektorF@dsv.su.se. 

Ansökan

Du söker doktorandplatsen via Stockholms universitets rekryteringssystem. Bifoga personligt brev och CV samt de bilagor som efterfrågas i ansökningsformuläret. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag. Vi rekommenderar att ansökan, med tillhörande dokument, skrivs på engelska. 

Anvisningar för sökande finns på webbsidan: att söka en anställning.