Descripción
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äkerhetsstandarde