Arbetsbeskrivning

Arbetsbeskrivning

Du förväntas bedriva forskning inom området tillförlitlig AI-assisterad mjukvaruutveckling, med särskilt fokus på spårbarhet, verifiering och reproducerbarhet av AI-assisterade mjukvaruutvecklingsprocesser. Modern mjukvaruutveckling förlitar sig i allt högre grad på AI-baserade verktyg (t.ex. stora språkmodeller och autonoma agenter) för att generera, modifiera och utvärdera kod. Även om dessa verktyg avsevärt förbättrar produktiviteten, introducerar de också nya utmaningar relaterade till:

• Brist på transparens i hur kod genereras eller modifieras
• Svårigheter att reproducera resultat över ständigt föränderliga verktyg, modeller och miljöer
• Begränsat stöd för att verifiera korrektheten och den långsiktiga effekten av AI-assisterade förändringar
• AI-baserade verktyg är i sig mjukvara som behöver verifieras för säkerhet och tillförlitlighet

Detta projekt syftar till att undersöka hur mjukvaruutvecklingsmetoder kan anpassas för att hantera dessa utmaningar och säkerställa att AI-assisterad utveckling förblir förklarbar, testbar och reproducerbar över tid. Forskningen kommer att omfatta:

• Utveckla strukturerade och maskinkontrollerbara sätt att relatera krav, kodändringar, tester och AI-genererade artefakter
• Utforma utvärderingsmetoder för att bedöma robustheten och reproducerbarheten hos AI-assisterade arbetsflöden
• Göra empiriska studier av existerande mjukvarusystem och utvecklingsprocesser
• Utforska tekniker för att förbättra tillförlitligheten och trovärdigheten hos AI-assisterade ändringar i mjukvara

Arbetet kombinerar metoder från mjukvaruutveckling, dataanalys och AI, och inkluderar både konceptuell utveckling och empirisk validering.

Till denna tjänst söker vi en kandidat med bakgrund inom maskininlärning eller datavetenskap som är väl insatt i mjukvaruteknik.

Tjänsten är en del av det strategiska forskningsområdet inom IT och mobil kommunikation ELLIIT, som är ett samarbete mellan Linköpings universitet, Lunds universitet, Högskolan i Halmstad och Blekinge Tekniska Högskola.

För denna tjänst gäller regler och förmåner för doktorander i Sverige. Doktoranden ska ta fram en individuell studieplan tillsammans med sina handledare. Tjänsten utgörs av forskarutbildning inom programvaruteknik (minst 80%) samt upp till 20% annan tjänstgöring, t.ex. undervisning.

Behörighetskrav

För att anställas som doktorand krävs att den sökande är eller blir antagen till utbildning på forskarnivå.

Behörig att antas till utbildning på forskarnivå är den som avlagt examen på avancerad nivå inom ett tekniskt, matematiskt, eller naturvetenskapligt område eller som på annat sätt förvärvat kunskaper för att kunna tillgodogöra sig utbildning på forskarnivå i ämnet.

Meriterande kompetenser och erfarenheter

Utöver kraven som beskrivs i arbetsbeskrivningen och behörighetskraven för anställningen, anses följande examina, kompetenser och erfarenheter meriterande:

• Master- eller civilingenjörsexamen i programvaruteknik, artificiell intelligens, data science eller datavetenskap.
• Erfarenhet inom behandling av naturligt språk (NLP), maskininlärning, deep learning eller visualisering.
• Mycket goda färdigheter i skriftlig och muntlig kommunikation på engelska. 

Tjänstgöringsort: Karlskrona.

Tjänstgöringsomfattning: 100%.

Tillträde: Enligt överenskommelse.

Varaktighet: Tidsbegränsad anställning i upp till 4 år forskningstid. I ett första skede omfattar anställningen ett år, varpå den förnyas med högst två år i taget under förutsättning att den individuella studieplanen följs. Anställningen får innehålla upp till 20% annan tjänstgöring varvid tiden kan förlängas till maximalt 5 år.

Sista ansökningsdag: 2024-05-05.