Lediga jobb: Coquand

● 2024-08-20 - Göteborgs universitet
Postdoktor
Högskolejobb, Göteborg

● 2024-05-06 - Göteborgs universitet
Forskare
Datajobb, Göteborg

● 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