Lediga jobb: Teorembevisning (sida 3)
● 2014-06-15 - Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio
Doktorand i datavetenskap - verifikation av låg-nivå mjukvara Datajobb, Stockholm
● 2014-02-04 - Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio
Postdoktortjänst inom bevisbart säkra system Matematikerjobb, Stockholm
● 2014-01-22 - Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio
Tenure track position: Biträdande universitetslektor inom Datalo Högskolejobb, Stockholm
● 2013-12-02 - Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio
Postdoktortjänst inom teoretisk datavetenskap Datajobb, Stockholm
● 2013-04-18 - It-Fakulteten
Doktorander (2) Datajobb, Göteborg
● 2013-04-17 - It-Fakulteten
Postdoktor Språkvetarjobb, Göteborg
● 2012-06-07 - Uppsala universitet
Universitetslektor i datalogi Högskolejobb, Uppsala
● 2011-11-13 - Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio
Doktorand i Hypervisorbaserad säkerhet Datajobb, Stockholm