Arbetsbeskrivning

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 nu en forskare. Anställningen är placerad vid forskargruppen i Logik och typer, avdelningen för Computing science vid institutionen, med Göteborgs universitet som arbetsgivare.

Projektet handlar om studiet av beroendetypteori utökad med univalens, med tillämpningar inom syntetisk matematik. Primära exempel inkluderar syntetisk algebraisk geometri och syntetisk Stone-dualitet, men det kan också röra sig om andra former av syntetisk matematik, såsom studiet av högre kategorier. Projektet omfattar även metateorin för beroendetyper, med målet att utforma bättre bevisassistenter.

Arbetsuppgifter

Positionen är en 360 dagar heltidstjänst inom forskargruppen i Logik och typer vid institutionen för data- och informationsteknik. Du förväntas bedriva forskning av hög kvalitet och publicera dina resultat i ledande internationella tidskrifter och konferensproceedings. Du ska kunna arbeta både självständigt och som en del av ett team och kommunicera resultaten muntligt och skriftligt.

Tjänsten kan omfatta undervisning vid institutionen, inklusive handledning av kandidat- och masterarbeten. Undervisningen utgör i så fall högst 20 % av arbetstiden. Du kan även komma att medverka som bihandledare för doktorander.

Kvalifikationer

Behörig att anställas som forskare är den som har avlagt doktorsexamen i relevant ämnesområde, till exempel inom datavetenskap eller matematik eller som har en utländsk examen som bedöms motsvara doktorsexamen.

Anställning

Anställningsform: Tidsbegränsad anställning, 360 dagar

Omfattning: 100% av heltid

Placering: Institutionen för data- och informationsteknik, avdelningen för Computing Science, enheten för Logik och typer

Tillträde: 2026-08-17 eller enligt överenskommelse

Tillsättningsförfarande

Du förväntas ha en stark bakgrund, med en utmärkt publikationslista och erfarenhet av arbete med beroende typteori och univalens, liksom goda kunskaper i de teoretiska modellerna inom typteori. Kunskaper om homotopiteori är också relevant som bedömningsgrund. Det är viktig att du även ha gedigen erfarenhet av formalisering av matematik, t.ex. i systemen Lean, Roqc och Agda.

Erfarenhet av handledning av doktorander, mastersstudenter och även undervisning i avancerade kurser kommer att betraktas som meriter.

Den sökande ska kunna arbeta både självständigt och som en del av ett team. Förmågan att samarbeta och ta egna initiativ är viktiga egenskaper och så är även noggrannhet och intresse för forskning.

Vid utvärderingen av de sökande kommer särskild tonvikt att läggas på förmågan att bedriva forskning inom det relevanta forskningsområdet. Det är önskvärt att kandidaten redan har tillbringat några år som postdoktor.

Både svenska och engelska används inom grundläggande undervisning medan engelska är arbetsspråket för forskningen vid institutionen för data- och informationsteknik. Således är både muntliga och skriftliga kunskaper i engelska obligatoriska.

Kontaktuppgifter för anställningen

Har du frågor om projektet är du välkommen att kontakta Thierry Coquand mailto:[email protected]

Har du frågor om anställningen är du välkommen att kontakta Carl-Johan Seger mailto:[email protected]

Har du frågor om anställningsförfarandet är du välkommen att kontakta Jenny Lind mailto:[email protected].

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 söker anställningen via Göteborgs universitets rekryteringsportal genom att klicka på knappen "Ansök". 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.

Din ansökan ska innehålla följande delar:

CV: ( Vänligen namnge dokumentet som: CV, efternamn) inklusive:

• CV, inkludera fullständig publikationslista;
• Tidigare undervisning och pedagogiska erfarenheter;
• Två referenser som vi kan kontakta.

Personligt brev: ( Vänligen namnge dokumentet som: Personligt brev, efternamn), 1-3 sidor där du:

• Introducera dig själv;
• Beskriv dina tidigare forskningsområden och viktigaste forskningsresultat;
• Beskriv dina framtida mål och framtida forskningsfokus.

Andra dokument:

• Attesterade kopior av avslutad utbildning, betyg och andra certifikat.

Ansökan ska vara inkommen senast: 2026-04-27