Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems

Lund University

Lunds kommun

On-site

SEK 536,000 - 692,000

Full time

3 days ago

Be an early applicant

Application generator

Get a reply from this employer — a resume and cover letter tailored to exactly what they’re hiring for.

Get past ATS filters

Job summary

Lunds universitet söker en biträdande universitetslektor i datavetenskap med inriktning mot verifiering och validering av storskaliga autonoma system. Anställningen är vid institutionen för datavetenskap, SE, där målet är att bygga upp och leda ett nytt spår inom verifiering, validering och kvalitetssäkring.

Arbetsuppgifterna omfattar forskning, undervisning på olika nivåer, handledning av examensarbetare och doktorander samt arbete med extern forskningsfinansiering och samverkan med näringsliv.

Qualifications

Mycket goda kunskaper i engelska i tal och skrift.
Doktorsexamen eller motsvarande vetenskaplig kompetens.
Dokumenterad erfarenhet av forskning inom verifiering/validering av autonoma system är meriterande.

Responsibilities

Forskning inom verifiering, validering och kvalitetssäkring av autonoma system.
Undervisning på grundnivå, avancerad nivå och forskarnivå.
Handledning av examensarbeten och doktorander.
Sökande av extern forskningsfinansiering och samverkan med näringsliv.
Administrativt arbete kopplat till arbetsuppgifterna.
Bidra till institutionens utveckling och ledarskap.

Skills

Engelska mycket god

Education

Doktorsexamen eller motsvarande kompetens

Job description

Biträndande universitetslektor i datavetenskap med inriktning mot verifiering och validering av storskaliga autonoma system

Lunds universitet grundades 1666 och rankas återkommande som ett av världens främsta lärosäten. Här finns omkring 46 000 studenter och 8 500 medarbetare i Lund, Helsingborg och Malmö. Vi förenas i vår strävan att förstå, förklara och förbättra vår värld och människors villkor.

Lunds universitet välkomnar sökande med olika bakgrund och erfarenheter. Jämställdhet, lika villkor och mångfald är grundläggande principer för alla delar av vår verksamhet.

Den biträdande lektorn kommer att arbeta vid institutionen för datavetenskap, i avdelningen SE (Software Engineering; fram till nyligen benämnd forskargruppen SERG), som leds av avdelningschef Emelie Engström. SE består av omkring 15 personer: två professorer, två docenter/universitetslektorer, ytterligare lektorer och adjunkter (några på deltid, med koppling till näringslivet), en biträdande universitetslektor och sex doktorander. Avdelningen håller till i E-huset på LTH:s campus i Lund. Som ny biträdande lektor blir du avdelningens andra BUL och arbetar nära både seniora forskare och doktoranderna, med uppdraget att bygga upp och leda det nya spåret kring verifiering, validering och kvalitetssäkring av autonoma system.

SE:s forskning bygger på decennier av empiriska studier av storskalig mjukvaruutveckling, krav, testning och kvalitetssäkring i industriell skala, med bland andra Per Runeson, Björn Regnell, Emelie Engström, Elizabeth Bjarnason och Markus Borg. På senare år har detta bland annat riktats mot autonoma och säkerhetskritiska system. Ett aktuellt exempel är VerSACE, ett Vinnova FFI-projekt (2025–2028) där Lunds universitet deltar tillsammans med bland andra Chalmers, KTH och flera ledande aktörer inom fordonsindustrin och fordonsmjukvara, om hur täta mjukvaruuppdateringar i självkörande fordon kan testas, verifieras och säkerhetsövervakas kontinuerligt. Med stöd av gruppens etablerade finansieringskanaler genom det strategiska forskningsområdet ELLIIT och WASP (Wallenberg AI, Autonomous Systems and Software Program), samt via nätverket kring kompetenscentret NextG2Com (temat "Mjukvaruplattformar och continuous engineering", lett av Emma Söderberg vid avdelningen SDE och Emelie Engström), finns goda förutsättningar för tjänsten att växa till ett mer varaktigt forskningsspår, med goda möjligheter till nya samarbeten.

Biträdande lektorer i SE får löpande stöd i sin utveckling mot befordran till universitetslektor. Gruppen har regelbundna seminarier och möten där forskning presenteras och diskuteras i en vänlig och generös anda, och medlemmarna samarbetar mycket, både sinsemellan och med kollegor i andra delar av institutionen. Vi ser gärna att du som biträdande lektor tar egna initiativ till nya samarbeten, både inom och utanför institutionen, och över tid bygger upp en egen forskningsinriktning inom detta spår.

Datavetenskap med inriktning mot verifiering och validering av storskaliga autonoma system

Särskild ämnesbeskrivning

Tjänsten fokuserar på metoder, verktyg och studier (empiriska såväl som analytiska och designorienterade) för verifiering, validering i kvalitetssäkring och certifiering av storskaliga, industriella autonoma system med AI- och ML-komponenter, till exempel autonoma fordon, robotik i industriell drift och andra driftsatta cyberfysiska system, samt autonoma system utan fysisk motsvarighet, till exempel AI-agenter och automatiserade beslutsstödsystem, sett ur ett systemperspektiv. Ämnesområdet omfattar bland annat:

Scenariobaserad och simuleringsbaserad testning av autonoma system.
Statistisk och datadriven verifiering under osäkerhet och icke-determinism.
Modellbaserad systemutveckling och arkitektur för autonoma system.
Säkerhetsargumentation och assurance cases.
Regelefterlevnad och kravhantering kopplad till exempelvis EU:s AI-förordning och relevanta säkerhetsstandarder.

Gemensamt för dessa angreppssätt är att de adresserar hela systemets beteende i sin operativa kontext, inklusive dess interaktion med omgivningen, snarare än formell verifiering av enskilda ML-modeller eller -komponenter. Ämnet kompletterar därmed närliggande, mer komponentnära/matematiskt orienterad ML-verifieringsforskning vid LTH och bygger vidare på SE:s expertis inom empirisk och tillämpad mjukvaru- och systemteknik samt institutionens etablerade samverkan inom bland annat NextG2Com, ELLIIT, WASP och profilområdet AI och Digitalisering

Anställning som biträdande lektor är en meriteringsanställning och syftar till att innehavaren ska utveckla sin självständighet som forskare och pedagog. I arbetsuppgifterna ingår huvudsakligen forskning och undervisning. Inom ramen för anställningen ska det ges möjlighet till fem veckors högskolepedagogisk utbildning.

Arbetsuppgifterna innefattar:

Forskning inom ämnesområdet.
Undervisning på grundnivå, avancerad nivå och forskarnivå.
Handledning av examensarbetare och doktorander.
Arbete med att söka extern forskningsfinansiering.
Samverkan med näringsliv och samhälle.
Administration kopplad till arbetsuppgifterna ovan.

Behörighet

Behörig att anställas som biträdande universitetslektor är den som har avlagt doktorsexamen eller uppnått motsvarande vetenskaplig kompetens.

Främst bör den komma ifråga som har avlagt doktorsexamen eller har uppnått motsvarande kompetens högst sju år före ansökningstidens utgång. Även den som har avlagt doktorsexamen eller har uppnått motsvarande kompetens tidigare kan dock 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 eller andra liknande omständigheter.

Bedömningsgrunder

Vid anställning som biträdande universitetslektor ska följande utgöra grund för bedömning av behörighet:

God förmåga att utveckla och genomföra forskning av hög kvalitet.
Pedagogisk förmåga.

Övriga krav

Mycket goda kunskaper i engelska, i tal och skrift.
Betydande dokumenterad forskningserfarenhet (till exempel från postdoc eller forskarutbildning) från annat lärosäte/institut eller relevant erfarenhet från näringsliv/offentlig verksamhet.
Dokumenterad forskningskompetens inom verifiering, validering, kvalitetssäkring och/eller certifiering av autonoma och/eller AI-baserade system, eller ett närliggande område.
Dokumenterad skicklighet i att använda empiriska, analytiska och/eller designvetenskapliga metoder samt förmåga att samarbeta och samverka över metod- och kunskapsområden.
Dokumenterad forskning som är tillämpad på eller förankrad i verkliga, storskaliga industriella system och problem, snarare än renodlat teoretisk forskning utan sådan tillämpning eller förankring.
Förmåga att bidra till en god, inkluderande och respektfull forsknings- och arbetsmiljö.
God samarbetsförmåga, initiativförmåga, förmåga att lösa arbetsuppgifter självständigt samt visat intresse för ledarskap.

Övriga meriter

Förmåga att samarbeta i tvärvetenskapliga och internationella forskningsmiljöer
Förmåga att etablera och utveckla samarbeten, med t.ex industrin eller andra universitet och institut.
Erfarenhet av öppen forskning, öppna forskningsdata och/eller utveckling av programvara med öppen källkod.

Hänsyn kommer också att tas till hur den sökande genom sin erfarenhet och kompetens bedöms komplettera och stärka pågående forskning, grundutbildning och innovation inom institutionen samt bidra till dess framtida utveckling.

Om anställningen

Anställningen är tidsbegränsad till 6 år och avser heltid. Anställningen tidsbegränsas enligt 4 kap 12a § HF. Syftet med anställningen är att läraren ska ges möjlighet att utveckla sin självständighet som forskare och meritera sig såväl vetenskapligt som pedagogiskt för att uppfylla kraven på behörighet för en anställning som lektor.

Lunds universitet är en statlig myndighet vilket innebär att du får särskilda förmåner, generös semester och en förmånlig tjänstepension. Läs mer på universitetets webbplats om att vara anställd hos oss: https://www.lu.se/om-universitetet/jobba-hos-oss .

Befordran till universitetslektor i Datavetenskap med inriktning mot verifiering och validering av storskaliga autonoma system

Den biträdande universitetslektorn kan under anställningsperioden ansöka om att bli befordrad till en fast anställning som universitetslektor. Bedömningen görs mot kraven nedan. Om dessa uppfylls och personen bedöms lämplig ska befordran ske. Ansökan får bara göras en gång.

Behörighet

Behörig att anställas som universitetslektor är den som har:

Avlagt doktorsexamen eller annan motsvarande kompetens eller någon annan yrkesskicklighet av betydelse med hänsyn till anställningens ämnesinnehåll och de arbetsuppgifter som ska ingå i anställningen.
Visad pedagogisk skicklighet, vilket även innefattar genomgången högskolepedagogisk utbildning eller på annat sätt inhämtade motsvarande kunskap om minst fem veckor, om det inte föreligger särskilda skäl.

Bedömningsgrunder

Bedömningsgrunderna specificerar vad som ska beaktas och vilken nivå som ska uppnås, för att behörighetskraven ska anses uppfyllda. Följande bedömnings-grunder ska vara uppfyllda för anställning som universitetslektor:

God nationell och internationell nivå som forskare, där kravet på internationell meritering ska bedömas med hänsyn till ämnets karaktär och tradition.
God pedagogisk förmåga, vilket innebär god förmåga att bedriva, utveckla och leda undervisning och annan pedagogisk verksamhet på olika nivåer och med varierande undervisningsmetoder.
Förmåga att delta i handledning av doktorander i studier till doktorsexamen.
Förmåga att samverka med det omgivande samhället och att informera om sin verksamhet.
Förmåga i övrigt att leda och utveckla verksamhet.

Övriga krav

God samarbetsförmåga, självständighet och driv.
Progression inom vetenskaplig och pedagogisk skicklighet.
Visad förmåga att bidra till forskarsamhället, till exempel som granskare eller organisatör av konferenser och workshoppar, samt till institutionens gemensamma mål.

LTH – Lunds Tekniska Högskola – är en del av Lunds universitet. På LTH utbildar vi människor, bygger kunskap för framtiden och arbetar hårt för att utveckla samhället. Vi skapar utrymme för briljant forskning och inspirerar till kreativ utveckling av teknik, arkitektur och design. Här läser närmare 12 000 studenter. Varje år publicerar våra forskare – varav många verkar inom världsledande profilområden – omkring 100 avhandlingar och 2 000 vetenskapliga rön. En rad forskningsresultat och studentarbeten förädlas till innovationer. Tillsammans utforskar och skapar vi – till nytta för världen.

Vi undanber oss alla kontakter från annonsförsäljare, rekryterings- och bemanningsföretag på grund av statliga upphandlingsregler.

Anställningsform Tillsvidareanställning

Anställningens omfattning

Tillträde

Löneform Månadslön

Antal lediga befattningar

Sysselsättningsgrad

Län Skåne län

Referensnummer