Arbetsbeskrivning

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.Institutionen för data- och informationsteknik har en internationell prägel med cirka 300 anställda från över 30 olika länder. Institutionen, som är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän, söker nu en doktorand med placering vid avdelningen Interaktionsdesign och Software Engineering, med Göteborgs universitet som arbetsgivare.  Avdelningen ä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 och anställda på alla nivåer – är vi en av de största akademiska forskningsgrupperna inom Software Engineering världen över. Vår expertis omfattar AI-teknik, programvarutestning, kravhantering, beteendemässig programvaruteknik och programvaruteknik för fordonsindustrin. Universitetsgemensam information om vad det innebär att vara doktorand vid Göteborgs universitet kan du finna på universitetets doktorandsidor:  https://www.gu.se/utbildning-till-att-bli-forskare Arbetsuppgifter    I detta projekt kommer du att utveckla ett automatiserat ramverk för att samla in, strukturera och verifiera säkerhetskunskap under hela programvarans livscykel. Ramverket ska hantera både avsaknaden av explicita krav i tidiga utvecklingsskeden och utmaningarna med efterlevnadsverifiering i komplexa system. Ansvarsområden kommer att omfatta: • Genomföra empiriska studier för att förstå hur säkerhetskunskap dokumenteras och används i praktiken. • Utveckla automatiserade verktyg för att formalisera och verifiera säkerhetskunskap, främst i Java, med potentiell användning av C/C++ eller Python. • Samarbeta med akademiska partners för att förfina forskningsfrågor, planera forskningsmetoder, utveckla lösningar och validera resultat. • Publicera resultat i ledande forum och göra alla verktyg tillgängliga. Denna tjänst erbjuder möjligheten att forma framtiden för säker mjukvaruutveckling genom att skapa praktiska lösningar som säkerställer att mjukvarusystem uppfyller sina avsedda säkerhetskrav.  Forskarutbildning omfattar fyra års heltidsstudier och leder fram till en doktorsexamen.  Inom ramen för din doktorandanställning kan du ha institutionstjänstgöring i en omfattning av max 20 % av heltid fördelat under hela utbildningstiden vilket i så fall genererar motsvarande förlängning av utbildningstiden. Institutionstjänstgöring omfattar vanligtvis undervisning på grundnivå och avancerad nivå, men även forskning och administration kan ingå. 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:     • avlagt examen på avancerad nivå, eller  • fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller   • på annat sätt inom eller utom landet förvärvat motsvarande kunskaper.  Bedömningsgrund    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 och länkar ditt arbete, avhandlingar och artiklar, som du har skrivit eller varit medförfattare till. Flytande engelska (både i tal och skrift) är ett krav. Kunskaper i programmeringsspråk, Java krävs, potentiell användning av C/C++ eller Python. Förståelse för säkerhetstekniska principer. Kännedom om utmaningar i ML-baserade system. Meriterande är erfarenhet av statiska/dynamiska analysverktyg eller modelldrivna ingenjörsverktyg, programvaruverifieringsmetoder, samt tidigare erfarenhet av branschstandardiserade säkerhetsrutiner eller regelefterlevnad. Anställning    Efter du har blivit antagen till forskarutbildning kommer du att erhålla en doktorandanställning vid Göteborgs universitet.    Bestämmelser för anställning som doktorand återfinns i förordning SFS 1993:100.     Den första anställningen som doktorand får gälla högst ett år och får förnyas med högst två år i taget. En doktorand får som längst vara anställd som doktorand under åtta år men den sammanlagda anställningstiden får inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år.    Universitetet tillämpar lokalt avtal om lönesättning av doktorander. Anställningsform: Tidsbegränsad anställning, HF 5 kap 7§ Omfattning: 100% heltid Tillträde: 2026-09-01 eller enligt överenskommelse Forskarutbildningen vid data- och informationsteknik kräver fysisk närvaro för att genomföra studierna. Om den som antas behöver uppehållstillstånd för att bedriva studier i Sverige, har Data- och informationsteknik rätt att återkalla beslut om antagning i det fall den antagne inte kan uppvisa ett giltigt uppehållstillstånd vid datumet för studiestart. Kontaktuppgifter för doktorandplatsen    Upplysningar om projektet lämnas av Sven Peldszus [email protected] Ansökan    Du ansöker om att bli antagen till forskarutbildning via Göteborgs universitets rekryteringsportal. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag. Ansökan ska skrivas på engelska. Ansökan ska vara inkommen senast: 2026-03-31 Universitetet arbetar aktivt för en arbetsmiljö med jämställda förhållanden och sätter värde på de kvalitéer mångfald tillför verksamheten. Enligt Riksarkivets föreskrifter är universitetet skyldigt att förvara ansökningshandlingar i två år efter tillsättningsbeslutet. Om du som sökande till en anställning särskilt begär tillbaka dina handlingar återsänds de när de två åren har förflutit, i annat fall kommer de att gallras ut. Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.