Fyra (4) doktorander i beroende typteori för matematik och datavetenskap

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 56 000 studenter och 6 600 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 söker nu fyra doktorander. Anställningen är placerad vid avdelningen för Computing science vid institutionen, med Göteborgs universitet som arbetsgivare. För fullständig annons se www.gu.se.

Arbetsuppgifter   
Utbildning på forskarnivå omfattar fyra års heltidsstudier och leder efter framgångsrikt slutförande fram till en doktorsexamen. 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.

Doktorandtjänsten ger dig utmärkta möjligheter att utveckla dina vetenskapliga och tekniska färdigheter och vara en del av ett team av ledande forskare inom området beroende typteori och implementering av bevisassistenter. I synnerhet arbetar vi inom området homotopi-typteori, där typteorin utökas med univalensaxiomet och högre induktiva typer. Det kommer både att finnas möjlighet att göra teoretiska studier av modeller och kopplingar till högre kategori teori, samt att arbeta med formalisering av matematik. Man kan också arbeta mer inriktat mot implementering av bevissystem, särskilt kopplat till Agda.

Behörighet   
För tillträde till utbildning på forskarnivå krävs grundläggande och i förekommande fall särskild behörighet som är fastställd i den allmänna studieplanen för ämnet. Grundläggande behörighet till utbildning 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.

Särskild behörighet för att antas till forskarutbildning i data- och informationsteknik har den som har avlagt en examen på avancerad nivå. Inriktningen av den sökandes examen ska ha en tillräckligt nära koppling till ämnet data och informationsteknik. Motsvarande krav gäller för personer som har tagit sin examen i ett annat land än Sverige.

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, avdelningen för Computing science, forskargruppen i logik och typer.
Tillträde: 2022-12-01 eller snarast möjligt.

Kontaktuppgifter för anställningen   
Upplysningar om projektet lämnas av Thierry Coquand (e-mail: Thierry.Coquand@cse.gu.se).
Upplysningar om anställningen lämnas av Aarne Ranta (e-mail: aarne.ranta@cse.gu.se). 
Frågor om anställningsförfarandet kan ställas till Robin Garnham (e-mail: robin.garnham@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.

Du måste ange: 

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 masteruppsats;
• Attesterade kopior av betyg från avslutad utbildning och andra certifikat, t.ex. TOEFL-testresultat.


Ansökan ska vara inkommen senast: 2022-11-04


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.

Universitetet tillämpar individuell lönesättning.

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.