Doktorander inom systemssäkerhet, formell verifiering och maskininlärning

Kungliga Tekniska Högskolan

Projektbeskrivning

Forskarutbildningsämne: Datalogi

Vi söker två högmotiverade studenter med stark bakgrund inom systemsäkerhet, formell verifiering, och/eller maskininlärning till två tjänster, finansierade av Wallenberg AI, Autonomous Systems and Software Program (WASP).

Valda kandidater kommer att ha möjlighet att undersöka banbrytande forskningsämnen inom något av, men inte begränsat till, följande områden: Systemsäkerhet, Formell verifiering och Maskininlärning inom...