Biträdande universitetslektor i verifiering av maskininlärningssystem

Arbetsuppgifter

Den biträdande lektorn kommer att vara verksam vid avdelningen för Software Engineering (SE) vid institutionen för datavetenskap, LTH. Avdelningen består av cirka 15 medarbetare och bedriver forskning och utbildning inom mjukvaruteknik, kravhantering, testning och kvalitetssäkring i nära samverkan med industri och samhälle.

Denna anställning innebär en möjlighet att etablera och utveckla forskning inom verifiering, validering och kvalitetssäkring av autonoma system. Forskningen bedrivs i en stark internationell miljö med erfarenhet av empirisk mjukvaruteknik och industriella samarbeten. Avdelningen deltar bland annat i forskningsprojektet VerSACE samt har etablerade samarbeten inom ELLIIT, WASP och NextG2Com, vilket ger goda möjligheter till samverkan, extern finansiering och utveckling av en långsiktig forskningsprofil.

Som biträdande lektor får du stöd i utvecklingen mot befordran till universitetslektor genom mentorskap, seminarier och kollegial samverkan. Vi söker en person som vill bidra till avdelningens utveckling och bygga upp en självständig forskningsverksamhet med nationella och internationella samarbeten.

Läs mer: VerSACE, NextG2Com, ELLIIT och WASP.

Ämne

Datavetenskap med inriktning mot verifiering och validering av storskaliga autonoma system

Särskild ämnesbeskrivning

Tjänsten fokuserar på metoder, verktyg och studier för verifiering, validering, kvalitetssäkring och certifiering av storskaliga autonoma system med AI- och ML-komponenter, exempelvis autonoma fordon, industriell robotik, cyberfysiska system, AI-agenter och automatiserade beslutsstödsystem.

Ä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 EU:s AI-förordning och relevanta säkerhetsstandarder.

Forskningen avser hela systemets beteende i sin operativa kontext och kompletterar därmed forskning om verifiering av enskilda AI- eller ML-komponenter. Området bygger vidare på avdelningens etablerade forskning inom programvaru- och systemteknik samt samverkan inom bland annat ELLIIT, WASP, NextG2Com 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.