Lediga jobb: Bevisassistenter
● 2022-10-06 - Göteborgs universitet
Fyra (4) doktorander i beroende typteori för matematik och datavetenskap Högskolejobb, Göteborg
● 2022-04-27 - Uppsala universitet, Institutionen för informationsteknologi
Upp till tre projektassistenter Datajobb, Uppsala
● 2022-04-26 - Uppsala universitet, Matematiska institutionen
Upp till tre projektassistenter Matematikerjobb, Uppsala
● 2021-12-07 - Göteborgs universitet
Postdoktor i Modala operationer för homotopitypteori Datajobb, Göteborg
● 2021-09-06 - Stockholms Universitet
Postdoktor i beräkningsmatematik Matematikerjobb, Stockholm
● 2020-10-12 - Stockholms Universitet
Postdoktor i beräkningsmatematik Matematikerjobb, Stockholm
● 2019-10-10 - Combitech AB
Exjobb - gör inbyggd mjukvara säkrare Datajobb, Linköping
● 2019-05-16 - Kungliga Tekniska högskolan,
Postdoktor i systemsäkerhet och formella metoder Elkraftsjobb, Stockholm
● 2019-04-01 - Kungliga Tekniska högskolan,
Postdoktor i systemsäkerhet och formella metoder Elkraftsjobb, Stockholm
● 2018-07-05 - Kungliga Tekniska högskolan,
Postdoctoral position in System Security and Formal Methods Supportteknikerjobb, Stockholm