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

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:

• For