Två (2) doktorander i Typteori för matematik och datavetenskap

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 49 000 studenter och 6 400 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 270 anställda från över 30 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän med aktiviteter på två campus i Göteborg. För fullständig annons: https://www.gu.se/om-universitetet/jobba-hos-oss

Arbetsuppgifter
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.

Utbildning på forskarnivå omfattar fyra års heltidsstudier och leder fram till en doktorsexamen. Den som är anställd som doktorand ska främst ägna sig åt sin forskarutbildning som inkluderar att arbeta med egen forskning, skriva manuskript för publicering och dessutom att läsa kurser på forskarnivå.

En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration. Sådant arbete får, innan doktorsexamen avlagts, inte omfatta mer än 20 procent av full heltid.

Projektet handlar om studier av beroende typteori utökad med univalens och högre induktiva typer. Det handlar t ex om teoretiska studier av modeller och om formalisering av matematik i ett datorsystem (t.ex. bevisassistenten Agda). Det kan även handla om att vidareutveckla Agda så att systemet blir mer lämpligt för formalisering i homotopi-typteori.

Behörighet
För tillträde till utbildning på forskarnivå krävs grundläggande och i förekommande fall särskild behörighet. Grundläggande behörighet till utbildning på forskarnivå har den som:

1. avlagt examen på avancerad nivå, eller
2. fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller
3. 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. 

Medan både svenska och engelska används i grundkurser är engelska arbetsspråket för forskning vid institutionen för data- och informationsteknik. Således är det nödvändigt att kunna presentera forskning både muntligt och skriftligt på engelska.

Anställning
Efter antagning till utbildning på forskarnivå kommer du att bli anställd som doktorand. 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. Anställningen får förnyas med högst två år i taget. En person får vara anställd som doktorand under sammanlagt högst åtta år. Den sammanlagda anställningstiden får dock 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%, fulltid
Placering: Data- och informationsteknik, forskningsgruppen för Logik och typer
Tillträde: april 2021 eller snarast möjligt

Kontaktuppgifter för anställningen
Upplysningar om projektet lämnas Thierry Coquand (e-mail: Thierry.Coquand@cse.gu.se) eller Andreas Abel (e-mail: andreas.abel@cse.gu.se).
Upplysningar om anställningen lämnas David Sands (e-mail: dave@chalmers.se).
Frågor om anställningsförfarandet kan ställas till anna.skanse@chalmers.se .

Fackliga organisationer
Fackliga företrädare vid Göteborgs universitet hittar du här:
https://www.gu.se/om-universitetet/jobba-hos-oss/hjalp-for-sokande

Ansökan
Du ansöker om att bli antagen till forskarstudier 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.

Vi ser gärna att din ansökan är skriven på engelska då den kan komma att granskas av internationella sakkunniga med engelska som arbetsspråk.

Ansökan ska vara inkommen senast: 2021-02-14

 

 


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.