Doktorandtjänst i homotopi-typteori och högre kategoriteori
Göteborgs Universitet
📍 Göteborg
⏰ Heltid
📋 Vanlig anställning
🗓 Ansök senast 3 juni 2026
✦ Få fler intervjuer
Generera ett personligt brev anpassat för just den här rollen — på under en minut.
Skapa ansökan – från 49 kr Gratis att söka · Ingen registrering · Premium 49 kr/månOm jobbet
Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 58 000 studenter och 6800 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.
Institutionen för data- och informationsteknik har en internationell prägel med cirka 300 anställda från över 50 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Institutionen för data- och informationsteknik söker en doktorand till forskargruppen i Logik och typer, avdelningen för Computing science, med Göteborgs universitet som arbetsgivare.
Universitetsgemensam information om vad det innebär att vara doktorand vid Göteborgs universitet kan du finna på universitetets doktorandsidor: https://www.gu.se/utbildning-till-att-bli-forskare
Arbetsuppgifter
Utbildning på forskarnivå omfattar fyra års heltidsstudier och leder efter framgångsrikt slutförande fram till en doktorsexamen. Den som är anställd som doktorand ska främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration så kallad institutionstjänstgöring. Sådant arbete får, innan doktorsexamen avlagts, inte omfatta mer än 20 procent av heltid fördelat över studietiden. Om institutionstjänstgöring utförs motsvarande 20 procent av full heltid över studietiden förlängs anställningsavtalet med motsvarande tid vilket ger en sammanlagd anställning på fem år.
Syftet med utbildningen är att doktoranden ska förvärva de kunskaper och färdigheter som krävs för att kunna bedriva självständig forskning inom tjänstens område, och att bidra till kunskapsutvecklingen inom ämnet genom att författa en vetenskaplig avhandling. Forskarutbildningen omfattar totalt 240 högskolepoäng och i utbildningen ingår avhandlingsarbete motsvarande 180 högskolepoäng och kurser motsvarande 60 högskolepoäng.
Projektet kommer att undersöka kopplingar mellan (homotopi) typteori och högre kategoriteori. I synnerhet den konstruktiva semantiken för homotopi-typteori i högre toposer, användningen av homotopi-typteori för att formellt resonera om högre kategorier, samt utvidgningar av homotopi-typteori som lämpar sig för att syntetiskt resonera om utvalda matematiska områden.
Behörighet
För tillträde till forskarutbildning på forskarnivå krävs grundläggande och i förekommande fall den särskilda behörighet som är fastställd i den allmänna studieplanen för forskarutbildningsämnet.
Grundläggande behörighet till forskarutbildning på forskarnivå har den som:
avlagt examen på avancerad nivå, eller
fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller
på annat sätt inom eller utom landet förvärvat motsvarande kunskaper.
Bedömningsgrund
Se ledigkungörelse i Göteborgs universitets rekryteringsportal.
Antagning och anställning
Efter du har blivit antagen till forskarutbildning kommer du att erhålla en doktorandanställning vid Göteborgs universitet. Bestämmelser för anställning som doktorand återfinns i förordning SFS 1993:100. Den första anställningen som doktorand får gälla högst ett år och får förnyas med högst två år i taget. En doktorand får som längst vara anställd som doktorand under åtta år men den sammanlagda anställningstiden får inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år.
Universitetet tillämpar lokalt avtal om lönesättning av doktorander.
Anställningsform: Tidsbegränsad anställning, HF 5 kap 7§
Omfattning: 100% heltid
Tillträde: 2026-08-24 eller enligt överenskommelse
Forskarutbildningen vid Institutionen för data- och informationsteknik kräver fysisk närvaro för att genomföra studierna. Om den som antas behöver uppehållstillstånd för att bedriva studier i Sverige, har Institutionen för data- och informationsteknik rätt att återkalla beslut om antagning i det fall den antagne inte kan uppvisa ett giltigt uppehållstillstånd vid datumet för studiestart.
Kontaktuppgifter för doktorandplatsen
Upplysningar om projektet lämnas av Thierry Coquand (e-mail: Thierry.Coquand@cse.gu.se) och Christian Sattler (e-mail: sattler@chalmers.se).
Ansökan
Du ansöker om att bli antagen till forskarutbildning via Göteborgs universitets rekryteringsportal. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.
Ansökan ska skrivas på engelska.
Ansökan ska vara inkommen senast: 2026-06-03
Universitetet arbetar aktivt för en arbetsmiljö med jämställda förhållanden och sätter värde på de kvalitéer mångfald tillför verksamheten. Enligt Riksarkivets föreskrifter är universitetet skyldigt att förvara ansökningshandlingar i två år efter tillsättningsbeslutet. Om du som sökande till en anställning särskilt begär tillbaka dina handlingar återsänds de när de två åren har förflutit, i annat fall kommer de att gallras ut. Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.
Institutionen för data- och informationsteknik har en internationell prägel med cirka 300 anställda från över 50 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Institutionen för data- och informationsteknik söker en doktorand till forskargruppen i Logik och typer, avdelningen för Computing science, med Göteborgs universitet som arbetsgivare.
Universitetsgemensam information om vad det innebär att vara doktorand vid Göteborgs universitet kan du finna på universitetets doktorandsidor: https://www.gu.se/utbildning-till-att-bli-forskare
Arbetsuppgifter
Utbildning på forskarnivå omfattar fyra års heltidsstudier och leder efter framgångsrikt slutförande fram till en doktorsexamen. Den som är anställd som doktorand ska främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration så kallad institutionstjänstgöring. Sådant arbete får, innan doktorsexamen avlagts, inte omfatta mer än 20 procent av heltid fördelat över studietiden. Om institutionstjänstgöring utförs motsvarande 20 procent av full heltid över studietiden förlängs anställningsavtalet med motsvarande tid vilket ger en sammanlagd anställning på fem år.
Syftet med utbildningen är att doktoranden ska förvärva de kunskaper och färdigheter som krävs för att kunna bedriva självständig forskning inom tjänstens område, och att bidra till kunskapsutvecklingen inom ämnet genom att författa en vetenskaplig avhandling. Forskarutbildningen omfattar totalt 240 högskolepoäng och i utbildningen ingår avhandlingsarbete motsvarande 180 högskolepoäng och kurser motsvarande 60 högskolepoäng.
Projektet kommer att undersöka kopplingar mellan (homotopi) typteori och högre kategoriteori. I synnerhet den konstruktiva semantiken för homotopi-typteori i högre toposer, användningen av homotopi-typteori för att formellt resonera om högre kategorier, samt utvidgningar av homotopi-typteori som lämpar sig för att syntetiskt resonera om utvalda matematiska områden.
Behörighet
För tillträde till forskarutbildning på forskarnivå krävs grundläggande och i förekommande fall den särskilda behörighet som är fastställd i den allmänna studieplanen för forskarutbildningsämnet.
Grundläggande behörighet till forskarutbildning på forskarnivå har den som:
avlagt examen på avancerad nivå, eller
fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller
på annat sätt inom eller utom landet förvärvat motsvarande kunskaper.
Bedömningsgrund
Se ledigkungörelse i Göteborgs universitets rekryteringsportal.
Antagning och anställning
Efter du har blivit antagen till forskarutbildning kommer du att erhålla en doktorandanställning vid Göteborgs universitet. Bestämmelser för anställning som doktorand återfinns i förordning SFS 1993:100. Den första anställningen som doktorand får gälla högst ett år och får förnyas med högst två år i taget. En doktorand får som längst vara anställd som doktorand under åtta år men den sammanlagda anställningstiden får inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år.
Universitetet tillämpar lokalt avtal om lönesättning av doktorander.
Anställningsform: Tidsbegränsad anställning, HF 5 kap 7§
Omfattning: 100% heltid
Tillträde: 2026-08-24 eller enligt överenskommelse
Forskarutbildningen vid Institutionen för data- och informationsteknik kräver fysisk närvaro för att genomföra studierna. Om den som antas behöver uppehållstillstånd för att bedriva studier i Sverige, har Institutionen för data- och informationsteknik rätt att återkalla beslut om antagning i det fall den antagne inte kan uppvisa ett giltigt uppehållstillstånd vid datumet för studiestart.
Kontaktuppgifter för doktorandplatsen
Upplysningar om projektet lämnas av Thierry Coquand (e-mail: Thierry.Coquand@cse.gu.se) och Christian Sattler (e-mail: sattler@chalmers.se).
Ansökan
Du ansöker om att bli antagen till forskarutbildning via Göteborgs universitets rekryteringsportal. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.
Ansökan ska skrivas på engelska.
Ansökan ska vara inkommen senast: 2026-06-03
Universitetet arbetar aktivt för en arbetsmiljö med jämställda förhållanden och sätter värde på de kvalitéer mångfald tillför verksamheten. Enligt Riksarkivets föreskrifter är universitetet skyldigt att förvara ansökningshandlingar i två år efter tillsättningsbeslutet. Om du som sökande till en anställning särskilt begär tillbaka dina handlingar återsänds de när de två åren har förflutit, i annat fall kommer de att gallras ut. Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.