Lediga jobb: Bevisassistenten
● 2025-06-26 - Göteborgs universitet
Postdoktor i typteori för matematik och datavetenskap Högskolejobb, Göteborg
● 2024-08-20 - Göteborgs universitet
Postdoktor Högskolejobb, Göteborg
● 2023-03-28 - Göteborgs universitet
Postdoktor i Typteori för matematik och datavetenskap Datajobb, Göteborg
● 2022-10-05 - Göteborgs universitet
Postdoktor i Typteori för matematik och datavetenskap Datajobb, Göteborg
● 2021-12-07 - Göteborgs universitet
Postdoktor i Modala operationer för homotopitypteori Datajobb, Göteborg
● 2021-01-15 - Göteborgs universitet
Två (2) doktorander i Typteori för matematik och datavetenskap Högskolejobb, Göteborg
● 2019-04-30 - Kungliga Tekniska högskolan,
Postdoktorer i verifiering av cyberfysiska system med bevisassis Datajobb, Stockholm
● 2018-12-13 - Kungliga Tekniska högskolan,
Postdoktorer i verifiering av cyberfysiska system med bevisassis Datajobb, Stockholm