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.