Lediga jobb: Coquand
● 2025-10-07 - Göteborgs universitet
Forskare i typteori för matematik och datavetenskap Datajobb, Göteborg
● 2025-06-27 - Göteborgs universitet
Forskare i typteori för matematik och datavetenskap Datajobb, Göteborg
● 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
● 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