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

About the role

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.

Your Match

How well this role fits your profile.

Company Intel

What employees say

Worked at BLEKINGE TEKNISKA HÖGSKOLA? Share your experience