Doktorandtjänst i homotopi-typteori och högre kategoriteori
Göteborgs universitetPublicerad: 2026-05-28
Ansök senast: 2026-06-03
Beskrivning
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. Anställningen är placerad vid forskargruppen i Logik och typer, avdelningen för Computing science vid institutionen, med Göteborgs universitet som arbetsgivare.
Institutionen har som mål att aktivt förbättra vår könsfördelning och vi arbetar brett med jämställdhetsprojekt. Jämställdhet och mångfald är en väsentlig grund i all verksamhet vid universitetet och institutionen.
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:
Bedömningsgrund
Urval bland sökande som uppfyller krav på grundläggande och i förekommande fall särskild behörighet baseras på förmågan att tillgodogöra sig utbildningen på forskarnivå.
Den sökande ska kunna arbeta både självständigt och som en del av ett team. Vid utvärderingen av de sökande kommer särskild tonvikt att läggas på förmåga att bedriva forskning inom det relevanta forskningsområdet.
Det är viktigt att i din ansökan redovisa för ditt arbete med avhandlingar och artiklar som du har skrivit eller varit medförfattare till. Länkar till relevanta projekt bör inkluderas där det är relevant.
Flytande engelska (både i tal och skrift) är ett krav. Svenska är inget krav, men institutionen erbjuder kurser i Svenska.
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.
Placering: Institutionen för data- och informationsteknik, avdelningen för Computing science, Logik och typer enhet.
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).
Upplysningar om anställningen lämnas av Carl-Johan Seger (e-mail: secarl@chalmers.se).
Frågor om anställningsförfarandet kan ställas till Jenny Lind (e-mail: jenny.lind@cse.gu.se)
Fackliga organisationer
Fackliga företrädare vid Göteborgs universitet hittar du här:
https://www.gu.se/jobba-hos-oss/sa-blir-du-en-av-oss#kollektivavtal-och-fackliga-foretradare
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 innehålla följande:
CV: (Vänligen namnge dokumentet som: CV, efternamn, referensnummer) inklusive:
• CV, inkludera fullständig publikationslista;
• Annat, till exempel tidigare anställningar eller erfarenhet av ledarskap och andra förtroendeuppdrag;
• Två referenser som vi kan kontakta.
Personligt brev: (Vänligen namnge dokumentet som: Personligt brev, efternamn, referensnummer), 1-3 sidor där du:
• Introducera dig själv;
• Beskriv tidigare erfarenheter som är relevanta för tjänsten (t.ex. utbildning, uppsatsarbete och, i förekommande fall, andra forskningsaktiviteter);
• Beskriv dina framtida mål och framtida forskningsfokus.
Andra dokument:
• Kopior av kandidatexamen och / eller master uppsats;
• Attesterade kopior av betyg från avslutad utbildning och andra certifikat, t.ex. TOEFL-testresultat.
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. Anställningen är placerad vid forskargruppen i Logik och typer, avdelningen för Computing science vid institutionen, med Göteborgs universitet som arbetsgivare.
Institutionen har som mål att aktivt förbättra vår könsfördelning och vi arbetar brett med jämställdhetsprojekt. Jämställdhet och mångfald är en väsentlig grund i all verksamhet vid universitetet och institutionen.
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
Urval bland sökande som uppfyller krav på grundläggande och i förekommande fall särskild behörighet baseras på förmågan att tillgodogöra sig utbildningen på forskarnivå.
Den sökande ska kunna arbeta både självständigt och som en del av ett team. Vid utvärderingen av de sökande kommer särskild tonvikt att läggas på förmåga att bedriva forskning inom det relevanta forskningsområdet.
Det är viktigt att i din ansökan redovisa för ditt arbete med avhandlingar och artiklar som du har skrivit eller varit medförfattare till. Länkar till relevanta projekt bör inkluderas där det är relevant.
Flytande engelska (både i tal och skrift) är ett krav. Svenska är inget krav, men institutionen erbjuder kurser i Svenska.
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.
Placering: Institutionen för data- och informationsteknik, avdelningen för Computing science, Logik och typer enhet.
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).
Upplysningar om anställningen lämnas av Carl-Johan Seger (e-mail: secarl@chalmers.se).
Frågor om anställningsförfarandet kan ställas till Jenny Lind (e-mail: jenny.lind@cse.gu.se)
Fackliga organisationer
Fackliga företrädare vid Göteborgs universitet hittar du här:
https://www.gu.se/jobba-hos-oss/sa-blir-du-en-av-oss#kollektivavtal-och-fackliga-foretradare
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 innehålla följande:
CV: (Vänligen namnge dokumentet som: CV, efternamn, referensnummer) inklusive:
• CV, inkludera fullständig publikationslista;
• Annat, till exempel tidigare anställningar eller erfarenhet av ledarskap och andra förtroendeuppdrag;
• Två referenser som vi kan kontakta.
Personligt brev: (Vänligen namnge dokumentet som: Personligt brev, efternamn, referensnummer), 1-3 sidor där du:
• Introducera dig själv;
• Beskriv tidigare erfarenheter som är relevanta för tjänsten (t.ex. utbildning, uppsatsarbete och, i förekommande fall, andra forskningsaktiviteter);
• Beskriv dina framtida mål och framtida forskningsfokus.
Andra dokument:
• Kopior av kandidatexamen och / eller master uppsats;
• Attesterade kopior av betyg från avslutad utbildning och andra certifikat, t.ex. TOEFL-testresultat.
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.
