Lediga jobb: Coquand
● 2024-04-17 - Chalmers Tekniska Högskola AB
PhD student in Neuro-symbolic AI for Mathematical Discovery Högskolejobb, Göteborg
● 2023-03-28 - Göteborgs universitet
Postdoktor i Typteori för matematik och datavetenskap Datajobb, Göteborg
● 2022-10-06 - Göteborgs universitet
Fyra (4) doktorander i beroende typteori för matematik och datavetenskap Högskolejobb, 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-03-16 - Stockholms Universitet
Forskare i Homotopi - Typteori Matematikerjobb, Stockholm
● 2021-02-10 - Göteborgs universitet
Postdoktor i Typteori för matematik och datavetenskap Datajobb, Göteborg
● 2021-01-15 - Göteborgs universitet
Två (2) doktorander i Typteori för matematik och datavetenskap Högskolejobb, Göteborg
● 2019-01-23 - Högskolan i Halmstad, Verksamhetsstöd
Ekonomichef Ekonomichefsjobb, Halmstad
● 2018-06-19 - Högskolan i Halmstad, Verksamhetsstöd
IT-chef Chefsjobb, Halmstad