Doktorandtjänst i Verifiering och Validering av AI-driven Mjukvara

Blekinge Tekniska Högskola (BTH) är en profilerad högskola med nära samverkan med näringsliv och samhälle. Verksamheten finns med campus i Karlskrona. Som statlig myndighet bedriver BTH utbildning och forskning med hög kvalitet och ett tydligt fokus på utveckling, innovation och samhällsnytta.

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 förväntas utforska verifiering och validering (V&V) av programvara i artificiell intelligens tidsålder, med fokus på både hur AI-verktyg stödjer utvecklingspraktiker (AI4SE) och hur integrationen av AI-komponenter förändrar programvarusystems natur (SE4AI). Ur ett V&V-perspektiv undersöker forskningen hur införandet av AI-komponenter – såsom omträningsbara maskininlärningsmodeller (ML-modeller), stora språkmodeller (LLM:er) och RAG-moduler (Retrieval-Augmented Generation) – utmanar konventionella V&V-metoder, verktyg och arbetssätt. Ur ett tekniskt perspektiv syftar projektet till att identifiera lösningar där multimodala modeller kan användas för att förbättra testkvalitet, skapandet av testorakel samt minska effekterna av icke-deterministiska AI-svar. Samtidigt behandlar projektet även värdeskapandet med denna teknik, med fokus på effektiviteten och ändamålsenligheten hos AI-stödd verifiering och validering. Ett särskilt fokus i projektet är systemtestning genom grafiska användargränssnitt (GUI-baserad testning), där ytterligare utmaningar såsom kostnaden för skapande och underhåll av tester, domänkunskap samt kontextberoende designbeslut måste beaktas. Målet är att skapa lösningar som är generellt tillämpbara men samtidigt kontextmedvetna och anpassningsbara till en specifik situation, kontext eller miljö. Doktorandprojektet syftar till att utveckla både en teknisk och teoretisk grund för robust och tillförlitlig AI-stödd verifiering och validering. Forskningen kommer att bedrivas i samarbete med flera industripartners.

De huvudsakliga arbetsuppgifterna inkluderar:

Undersöka hur integrationen av AI-komponenter såsom LLM:er, omträningsbara ML-modeller och RAG-moduler påverkar verifiering och validering av programvara, inklusive konsekvenser för domän- och kontextspecifik korrekthet i såväl traditionell som AI-baserad programvara.

Studera hur AI förändrar verifierings- och valideringsprocesser, med fokus på systemtestning på GUI-nivå, inklusive behovet av domänkunskap eller begränsningar som gör det möjligt för mänskliga eller AI-baserade agenter att skapa tester av hög kvalitet.

Publicera forskningsresultat i ledande konferenser och vetenskapliga tidskrifter samt bidra till industriellt relevant forskning inom programvaruteknik.

För denna tjänst söker vi en kandidat med bakgrund inom programvaruteknik, datavetenskap, dataanalys och artificiell intelligens.

Svenska regler och förmåner för doktorander gäller för denna anställning. Doktoranden kommer tillsammans med sina handledare att utarbeta en individuell studieplan inom programvaruteknik. Tjänsten kan innehålla upp till 20 % andra arbetsuppgifter, exempelvis undervisning på grund- och avancerad nivå. Utbildningen bedrivs på både svenska och engelska och goda kunskaper i svenska är därför meriterande.

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 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.

Behörighetskraven måste vara uppfyllda vid tidpunkten för antagning, inte vid tidpunkten för ansökan om tjänsten.

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:

Masterexamen, civilingenjörsexamen eller motsvarande inom programvaruteknik, datavetenskap, data science eller artificiell intelligens.

Dokumenterad erfarenhet av professionell programvaruutveckling.

Dokumenterad industriell erfarenhet av maskininlärning (ML), AI och/eller generativ AI.

Dokumenterad erfarenhet av eller intresse för GUI-baserad testning.

God förmåga att kommunicera i tal och skrift på svenska och engelska.

Tjänstgöringsort: Karlskrona.

Tjänstgöringsomfattning: 100%.

Tillträde: Enligt överrenskommelse.

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: 17 Juli, 2026

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).