Postdoktor inom Automatiserad Grundlig Analys av Maskinkod i Program

Kungliga Tekniska Högskolan

Arbetsuppgifter
Divisionen för nätverk och systemteknik vid KTH inbjuder ansökningar till en postdoktorandtjänst finansierad av Wallenberg AI, Autonomous Systems and Software Program (WASP).

Vi söker en mycket motiverad forskare med en stark bakgrund inom systemskydd och formell verifiering för att ansluta sig till vår forskargrupp. Denna position erbjuder möjligheten att fördjupa sig i banbrytande forskning som syftar till att förbättra säkerheten och tillförlitligheten hos...