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. 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 exempelvis 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. 12 a § 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. Instruktioner för ansökan Ansökan ska skrivas på engelska. Redovisa dina meriter enligt LTH:s 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/