Doktorandtjänst i programvaruteknik (AI-assisterad mjukvaruutveckling)

Blekinge Tekniska Högskola är en plats för nyfikenhet och uppfinningsrikedom med campus mitt i den blekingska skärgården. Här erbjuder vi utbildning från grundnivå till doktorsexamen och bedriver tillämpad forskning i världsklass. Vi förändrar och gör skillnad. Vill du bli en av oss?

Institutionen för programvaruteknik omfattar ca. 50 personer från 20 olika länder. Vår tradition inom programvaruteknik sträcker sig tillbaka till 1990 då vi startade Sveriges första utbildning inom området i samarbete med Ericsson. Institutionens forsknings- och utbildningsmiljö, SERL Sweden ‒ Software Engineering Research and Education Lab Sweden, har sedan dess expanderat och är nu positionerad som världsledande när det gäller forskning inom mjukvaruutveckling. Institutionen ansvarar för utbildningar i programvaruteknik från kandidatnivå upp till forskarnivå.

Arbetsbeskrivning

Du kommer att bedriva forskning om programvarutestningens roll i AI-kodagenter. Agenter genererar och ändrar kod med allt större autonomi. En central utmaning är att förankra skyddsräckena i krav och intressenternas avsikter – aspekter som klargörs och kommuniceras genom utvecklares interaktioner med agenterna.

Det övergripande målet är att vägleda och verifiera AI-kodagenter med hjälp av två sammanlänkade artefakter: specifikationer som är läsbara för människor och körbara tester, båda förankrade i krav och intressenternas avsikter. Specifikationerna gör det möjligt för intressenter att förstå, diskutera och validera det avsedda beteendet. Testerna ger deterministiska, automatiserade kontroller av att AI-genererad kod och senare ändringar överensstämmer med detta beteende.

Beroende på de forskningsfrågor som utvecklas under projektet kan arbetet omfatta:

Att undersöka hur avsett beteende kan fångas upp och förfinas utifrån krav, intressenternas bidrag, samspelet mellan utvecklare och AI.

Att utveckla och utvärdera metoder som kopplar samman specifikationer som är läsbara för människor med körbara tester, samtidigt som spårbarheten till intressenternas avsikter bevaras.

Att utforska hur specifikationer och tester kan vägleda och verifiera ändringar som genereras av agenter, och hur de kan underhållas när krav och programvara förändras.

Att utvärdera effektivitet, tillförlitlighet och praktisk användbarhet hos testbaserade skyddsräcken, med fokus på felupptäckt, intressenternas förståelse och stöd för mänsklig tillsyn.

Arbetet kombinerar metod- och verktygsutveckling med empirisk utvärdering, inklusive experiment och industriella fallstudier. Specifika forskningsfrågor, metoder och tekniska lösningar utvecklas tillsammans med handledargruppen.

Vi söker dig som har goda kunskaper i programvaruteknik och programmering samt ett intresse för programvarutestning och agentbaserad programvaruteknik.

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 de krav som beskrivs i arbetsbeskrivningen och behörighetskraven är följande utbildning, kompetenser och erfarenheter meriterande:

Master- eller civilingenjörsexamen i programvaruteknik, artificiell intelligens, data science eller datavetenskap.

Dokumenterad erfarenhet av programmering och programvaruutveckling, till exempel i Python, samt kännedom om versionshantering och CI/CD-verktyg

Erfarenhet av generativ AI inom programvaruutveckling, till exempel LLM-baserade agenter, kodagenter eller AI-stödda utvecklingsverktyg

Kunskap om eller erfarenhet av programvarutestning, inklusive automatiserad eller specifikationsbaserad testning och beteendedriven utveckling (BDD), samt av kravhantering eller spårbarhet

Erfarenhet av empiriska forskningsmetoder, till exempel experiment, fallstudier eller enkäter, och av samarbete med industripartner

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: 2026-12-15.

Din ansökan bör innehålla:

En redogörelse för din bakgrund och erfarenhet i de för tjänsten relevanta områdena.

En meritförteckning (CV).

Examens- och kursbevis som är officiellt utfärdade från ditt lärosäte.

Kontaktuppgifter till två referenspersoner.

Det tidigaste datum då anställningen kan påbörjas.

En bilaga med befintliga publikationer (om relevant).

En länk till ditt examensarbete (senaste/högsta examen).