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

Arbetsuppgifter 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. Läs

mer: NextG2Com: https://www.nextg2com.lu.se/, WASP: https://wasp-sweden.org/, Elliit: https://elliit.se/ 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. Ämne 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 Arbetsuppgifter 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. Vi erbjuder 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. Instruktioner för ansökan Ansökan ska skrivas på

engelska. Redovisa dina meriter enligt LTHs akademiska meritportfölj, se länk nedan. Ladda upp som PDF-filer i

rekryteringssystemet. Läs mer här: http://www.lth.se/jobb/sokalararanstallning/

• **************************************************************** 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.