Doktorand inom autonoma system

Kungliga Tekniska Högskolan

Projektbeskrivning
Forskarutbildningsämne: Datalogi
Vi söker en doktorand för ett projekt som fokuserar på utveckling av planerings- och styrtekniker för autonoma system, finansierat av Wallenberg AI, Autonomous Systems and Software Program (WASP).   Doktorandens mål är att utveckla specifikationsformalismer och formella syntesalgoritmer som gör det möjligt att resonera kring autonoma systems beteende över längre tidshorisonter, samt att implementera och utvärdera dessa i...