Doktorand inom formell modellering för pålitlig AI

Kungliga Tekniska Högskolan

Projektbeskrivning
Forskarutbildningsämne: datalogi
Skolan för elektroteknik och datavetenskap söker en doktorandtjänst inom området formell modellering för tillförlitlig AI.
Projektets mål är att utveckla ett modellbaserat integrerat ramverk som stöder specifikation, analys och körtidssäkring av autonoma säkerhetskritiska system. Ramverket kommer att kombinera formell modellering och AI för att analysera krav och arkitekturer för heterogena system som arbetar under osäkerhet...