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.