Postdoktor i programvaruteknik (verifiering & validering och generativ AI)

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 grund- till doktorsnivå 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 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. 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 forskarutbildning.

Arbetsbeskrivning
Tjänsten är en del av BTH:s marintekniska satsning, vilket möjliggör ett nära samarbete mellan kandidaten och industrin mycket tidigt i hens forskarkarriär. Anställningen omfattar främst forskning inom empirisk programvaruteknik med fokus på verifiering och validering av uppdragskritiska system som innehåller icke-deterministiska komponenter (t.ex. generativ AI). Upp till 20 % av den totala arbetstiden kan vara relaterad till andra uppgifter, t.ex. undervisning. Den sökande förväntas delta aktivt i institutionens forsknings- och utbildningsverksamhet.

Denna tjänst är främst förknippad med affärskritiska mjukvaruintensiva produkter och tjänster (SIPS), t.ex. inom försvarsområdet. Det medför höga krav på kvalitet, särskild säkerhet. Genom generativ AI introduceras icke-deterministiska komponenter som interagerar med traditionellt deterministiska SIPS. Detta ger betydande fördelar (inlärningssystem som förbättras t.ex. via realtidsträning), men det ger också unika och nya utmaningar. Verifiering och validering av sådana system där utdata inte kan förutses är kärnan i forskningsutmaningen och projektet.

Vår tradition av nära samarbete med industrin gör att vi särskilt värdesätter intresse för och erfarenhet från empirisk forskning i samarbete med industrin. Till denna tjänst söker vi en kandidat med bakgrund inom empirisk mjukvaruteknik, med ett kvantitativt perspektiv och erfarenhet inom ett eller flera av följande områden:


• Generativ AI
• Maskininlärning och dess användning i SIPS
• Verifiering och validering av SIPS
• Professionell mjukvaruutveckling på expertnivå med ett eller flera av språken Java, Phyton, C++, C

Behörighetskrav
Behörig att anställas som postdoktor är den som har avlagt doktorsexamen eller har en utländsk examen som bedöms motsvara doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. I första hand bör den komma i fråga som har avlagt examen högst tre år före ansökningstidens utgång. Även den som avlagt examen tidigare bör komma i fråga om det finns särskilda skäl. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, klinisk tjänstgöring, förtroendeuppdrag inom fackliga organisationer eller andra liknande omständigheter.

Behörighetskraven och bedömningskriterierna beskrivs i detalj i BTH:s "Riktlinjer för anställning och befordran av lärare och utnämning till docent", som finns på https://www.bth.se/om-bth/ledigatjanster/#section-anvisningar-till-sokande .

Anställningen kräver behörighet att arbeta med säkerhetsklassade data. Säkerhetsprövning kommer att genomföras på vald kandidat.

Meriterande kompetenser och erfarenheter
Utöver kraven som beskrivs i arbetsbeskrivningen, behörighetskraven och bedömningskriterierna för anställningen, anses följande examina, kompetenser och erfarenheter meriterande:


• Samarbete inom forskning i nära samarbete med industriella partners.
• Yrkeserfarenhet av mjukvaruutveckling inom branschen.
• Publikationer i högt rankade internationella konferenser eller tidskrifter inom mjukvaruteknik.
• Kunskaper i skriftlig och muntlig kommunikation på engelska (kommunikation på svenska är ett plus).
• God kommunikations- och samarbetsförmåga med studenter och kollegor.

Tjänstgöringsort: Karlskrona.

Tjänstgöringsomfattning: 100%.

Tillträde: Efter överenskommelse.

Varaktighet: Tidsbegränsad anställning i 2–3 år med möjlighet till förlängning. Den totala anställningstiden får dock inte överstiga 3 år.

Ansökan: Välkommen med din ansökan senast 2024-10-20.

Du ansöker via vårt rekryteringssystem genom att klicka på knappen ”ansök”.

Om du har skyddade personuppgifter så ska du inte registrera din ansökan i vårt rekryteringssystem. Kontakta istället HR-specialisten som står som kontaktperson i annonsen för mer information.

Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och anvisningarna.

Anvisningar till sökande finns på https://www.bth.se/om-bth/lediga-tjanster/#section-anvisningar-till-sokande.

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.