Doktorandtjänst i programvaruteknik (Specifikations- och testbaserad tillsyn av AI-kodagenter)
Blekinge Institute of Technology · Karlskrona · fixed-term · Deadline 2026-12-15
Blekinge Tekniska Högskola i Karlskrona söker en **doktorand i programvaruteknik** med inriktning mot specifikations- och testbaserad tillsyn av AI-kodagenter. Tjänsten ingår i forskningssamarbetet ELLIIT och omfattar heltid, fördelat på **minst 80 procent forskarutbildning** och upp till 20 procent institutionsarbete, exempelvis undervisning. Anställningen är tidsbegränsad och inleds med ett år, med möjlighet till förlängning upp till maximalt fem år förutsatt att den individuella studieplanen fullföljs. Forskningen fokuserar på att vägleda och verifiera autonoma kodagenter genom människoläsbara specifikationer och automatiserade tester, och kombinerar utveckling av metoder och verktyg med empiriska experiment och industriella fallstudier. Behörighet kräver en **examen på avancerad nivå** inom ett tekniskt, matematiskt eller naturvetenskapligt område, alternativt motsvarande förvärvade kunskaper för att kunna tillgodogöra sig utbildning på forskarnivå. Sökande ska ha goda kunskaper i programvaruteknik och programmering samt intresse för programvarutestning och agentbaserade system. Det är meriterande med en master- eller civilingenjörsexamen inom datavetenskap, artificiell intelligens, data science eller programvaruteknik, liksom erfarenhet av generativ AI, testautomatisering, empiriska forskningsmetoder och mycket god engelska i tal och skrift.
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 programvaruteknikomfattar 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).
Du ansöker via vårt rekryteringssystem genom att klicka på knappen ”ansök” nedan.
Om du har skyddade personuppgifter så ska du inte registrera din ansökan i vårt rekryteringssystem. Kontakta istället HR-partnern som står som kontaktperson i annonsen för mer information.
Anvisningar till sökande finns på https://www.bth.se/om-bth/jobba-hos-oss/lediga-jobb. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och anvisningarna.
BTH välkomnar sökande med olika bakgrund och erfarenheter. Vi arbetar aktivt för att ta tillvara de kvaliteter som mångfald och jämn könsfördelning tillför verksamheten.
Vi har valt medier för denna rekrytering och undanber oss därför kontakt med annonssäljare eller andra säljare för rekryteringstjänster.