Doktorandtjänst inom mjukvaruutveckling för kontinuerlig efterlevnad av programvaruintensiva system

Göteborgs universitet; Göteborgs kommun; On-site; SEK 301,320 - 368,280; Full time

Benefits offered by this job

Stöd för doktorandstudier

Samarbete med företag

Job summary

Göteborgs universitet söker doktorander inom mjukvaruutveckling för forskning kring kontinuerlig regelefterlevnad av programvaruintensiva system. Tjänsten är en femårig doktorandtjänst där 80 % av tiden ägnas åt doktorandstudier. Du kommer att arbeta i en stödjande forskningsmiljö med stark internationell prägel.

Rollerna inkluderar samarbete med seniora forskare och partners från industrin. Tidigare erfarenhet av programmering och CI/CD-arbete är meriterande.

Qualifications

• Stark bakgrund inom programvaruteknik eller datavetenskap.
• Kännedom om programvaruarkitektur och programvarutestning.
• Flytande engelska krävs.

Responsibilities

• Arbeta med kontinuerlig regelefterlevnad i programvaruintensiva system.
• Genomföra empiriska studier och industriella fältstudier.
• Utveckla konceptuella modeller för kontinuerlig regelefterlevnad.

Skills

Programmering i Java, Python, C/C++

Intresse för AI-baserad programvaruteknik

Erfarenhet av CI/CD-pipelines

Analytisk och självständig

Education

Examen på avancerad nivå inom IT eller närliggande område

Tools

Utvecklingsverktyg och kravhanteringsverktyg

Testningsramverk

Job description

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 58 000 studenter och 6800 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.

Doktorandtjänst inom mjukvaruutveckling för kontinuerlig efterlevnad av programvaruintensiva system

Institutionen för data- och informationsteknik har en internationell prägel med cirka 300 anställda från över 30 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Institutionen för data- och informationsteknik söker en doktorand. Anställningen är placerad vid avdelningen Interaktionsdesign och Software Engineering, med Göteborgs universitet som arbetsgivare.

Vår avdelning är ledande inom forskning och utbildning om komplexa, programvaruintensiva system, med starka internationella samarbeten och nära band till den lokala industrin. Med cirka 50 forskare – inklusive doktorander, postdoktorer och lärare på alla nivåer – är vi en av de största akademiska forskningsgrupperna inom programvaruteknik världen över. Vår kärnkompetens omfattar AI‑teknik, programvarutestning, kravhantering, beteendemässig programvaruteknik och programvaruteknik för fordonsindustrin.

Arbetsuppgifter

Institutionen för data- och informationsteknik söker nu upp till tre doktorander inom Software and AI Engineering med inriktning mot kontinuerlig regelefterlevnad i programvaruintensiva system. Tjänsterna ingår i ett större forskningssamarbete mellan akademiska och industriella partners inom bland annat fordonsindustrin, telekommunikation, flyg- och rymdindustrin, industriell automation, tillverkningsindustri och säkerhetskritiska system.

De tre doktoranderna kommer att arbeta med olika men kompletterande aspekter av kontinuerlig regelefterlevnad. Två av tjänsterna kommer att handledas av professor Eric Knauss, eventuellt med Dr. Sven Peldszus som bihandledare beroende på projektens slutliga inriktning. En tjänst kommer att handledas av professor Miroslaw Staron. Doktoranderna förväntas samarbeta nära med varandra, med övriga partners i projektkonsortiet samt med seniora forskare som är involverade i projektet.

• Förklarbarhet (explainability) i AI‑baserade programvaruprodukter: undersöka vilken information AI‑komponenter och AI‑baserade programvarusystem behöver exponera för att deras beteende, resultat och underliggande antaganden ska kunna förklaras på ett sätt som stödjer argumentation för regelefterlevnad (compliance arguments) och assurance cases.
• Bevis för regelefterlevnad (compliance evidence) som en biprodukt av utvecklingsarbetet: utveckla referensmodeller och arbetssätt för att kontinuerligt samla in bevis för regelefterlevnad från ordinarie ingenjörsarbete, inklusive CI/CD‑pipelines, utvecklingsprocesser, testning, analys, dokumentation och spårbarhetsinfrastruktur.
• Automatiserad insamling och hämtning av bevis för regelefterlevnad: utforma mekanismer som hjälper ingenjörer att identifiera, strukturera, hämta och koppla samman bevismaterial från heterogena tekniska datakällor, exempelvis med hjälp av semantisk sökning (semantic retrieval), grafbaserade representationer, retrieval‑augmented generation (RAG) och agentic AI.
• Spårbarhet (traceability) under drift för kontinuerlig regelefterlevnad (continuous compliance): utöka spårbarheten från utvecklingsfasen till driftfasen, så att antaganden, krav, arkitekturbeslut, designbeslut och skyldigheter kopplade till regelefterlevnad kan relateras till observerat systembeteende under drift.

Det övergripande projektet fokuserar på att lösa industriella utmaningar i samarbete med företag som Axis, Bosch, Ericsson, Grundfos och Volvo, inom Software Center (www.software-center.se).

• Genomföra empiriska studier och industriella fältstudier för att förstå hur bevis för regelefterlevnad (compliance evidence), förklarbarhet (explainability) och spårbarhet (traceability) hanteras i praktiken.
• Utveckla konceptuella modeller, referensarkitekturer och metoder för kontinuerlig regelefterlevnad (continuous compliance) i modern programvaruintensiv utveckling.
• Utforma och utvärdera verktygsstöd för automatiserad eller halvautomatiserad insamling, strukturering, hämtning och validering av bevis för regelefterlevnad.
• Undersöka hur AI‑baserade system och AI‑komponenter kan tillhandahålla förklaringar som stödjer argumentation för regelefterlevnad (compliance arguments) och assurance cases.
• Studera hur information som är relevant för regelefterlevnad kan spåras genom krav, arkitektur, implementation, testning, driftsättning och systemdrift.
• Publicera forskningsresultat i ledande internationella vetenskapliga forum inom programvaruteknik, kravhantering, AI‑teknik och programvarusystem.
• Bidra till öppna forskningsartefakter, såsom dataset, modeller, verktyg och demonstratorer, när så är lämpligt.

Du kommer att arbeta i en stimulerande och stödjande forskningsmiljö och utveckla expertis inom empirisk programvaru‑ och AI‑teknik, AI‑baserad systemutveckling, programvaruarkitektur, utvecklingsverktyg, kravhantering, spårbarhet, regelefterlevnad (Compliance Engineering) och industriellt forskningssamarbete.

Alla tjänster är en femårig doktorandtjänst på heltid, där 80 % av tiden ägnas åt doktorandstudier (motsvarande 4 år) som leder till en doktorsexamen. Som en del av din anställning som doktorand kan du ha institutionsuppgifter motsvarande upp till 20 % av heltidstjänsten, fördelade över din studietid, och resultera i en motsvarande förlängning av studierna.

Behörighet

För tillträde till forskarutbildning på forskarnivå krävs grundläggande och i förekommande fall den särskilda behörighet som är fastställd i den allmänna studieplanen för forskarutbildningsämnet.

Grundläggande behörighet till forskarutbildning på forskarnivå har den som:
1. avlagt examen på avancerad nivå, eller
2. fullgjort kursföringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller
3. på annat sätt inom eller utom landet förvärvat motsvarande kunskaper.

Specifika behörighetskrav för detta ämne, enligt den allmänna studieplanen, är att examinis riktningen ska ha en tillräckligt nära anknytning till ämnet för forskarutbildningen.

Bedömningsgrund och kvalifikationer

Urval bland sökande som uppfyller krav på grundläggande och särskild behörighet baseras på förmågan att tillgodogöra sig forskarutbildningen. Det är viktigt att i din ansökan redovisa för ditt arbete med avhandlingar och artiklar som du har skrivit eller varit medförfattare till. Länkar till relevanta projekt bör inkluderas där det är relevant. Flytande engelska (både i tal och skrift) är ett krav. Svenska är inget krav, men institutionen erbjuder kurser i Svenska.

• En stark bakgrund inom programvaruteknik, datavetenskap, AI‑teknik eller ett närliggande område.
• Kunskap om kravhantering, programvaruarkitektur, programvarutestning, DevOps, kontinuerlig integration och kontinuerlig driftsättning (CI/CD), programvaruspårbarhet (software traceability) eller programvaruanalys.
• Erfarenhet av programmering, exempelvis i Java, Python, C/C++ eller andra språk som används inom forskning och verktygsutveckling för programvaru‑ och AI‑teknik.
• Intresse för empiriska forskningsmetoder, såsom intervjuer, fallstudier, litteraturöversikter, workshops och industriella utvärderingar.
• Intresse för AI‑baserad programvaruteknik (AI‑enabled Software Engineering), förklarbar AI (Explainable AI), retrieval‑augmented generation (RAG), kunskapsgrafer (knowledge graphs), semantisk sökning (semantic retrieval), analys av tekniska data eller agentic AI.

• Erfarenhet av utvecklingsverktyg, CI/CD‑pipelines, kravhanteringsverktyg, ärendehanteringssystem (issue trackers), testramverk, verktyg för statisk analys, loginfrastrukturer eller tekniska dataplattformar.
• Erfarenhet av storskalig programvaruutveckling, metadatahantering, logganalys, dokumentationsgenerering eller AI‑baserad analys av utvecklingsartefakter.
• Erfarenhet av industriell programvaruutveckling, programvaruintensiva system, säkerhetskritiska system, cybersäkerhet eller regelefterlevnad (Compliance Engineering).
• Tidigare erfarenhet av vetenskaplig publicering, utveckling av öppen källkod (open source) eller samarbetsprojekt inom programvaruutveckling är meriterande men inget krav.

Den framgångsrika kandidaten förväntas vara analytisk, självständig och samarbetsinriktad samt motiverad att arbeta i gränslandet mellan akademisk forskning och industriell praktik.

Kontaktuppgifter för doktorandplatsen

Upplysningar om projektet lämnas av Eric Knauss ([e-mail]) eller Miroslaw Staron ([e-mail]). Upplysningar om anställningen lämnas av Eric Knauss ([e-mail]). Frågor om anställningsförfarande kan ställas till Jenny Lind ([e-mail]).