Postdoktor i Kubisk typteori

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och 6 000 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.

Postdoktor i Kubisk typteori

Anställningsform: Tidsbegränsad anställning, 2 år
Omfattning: 100 %
Placering: Institutionen för data- och informationsteknik, Göteborg
Tillträde: Så snart som möjligt
Diarienummer: PER 2016/478

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och cirka 6 000 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 240 anställda från över 30 olika länder. Institutionen är en integrerad institutionen med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Anställningen är placerad vid avdelningen för datavetenskap vid institutionen, med Göteborgs universitet som arbetsgivare.

Ämne
Kubisk typteori

Ämnesbeskrivning
Undersökning av vår konstruktiva modell av univalensaxiomet

Arbetsuppgifter
Forskning inom ämnet kubisk typteori, motsvarande cirka 80 % av heltid. Arbete inom grundutbildning, motsvarande cirka 20 % av heltid.
Arbetet består av att undersöka kubisk typteori, både teoretiskt (t ex normaliseringsbevis) och praktiskt (implementering och dokumentation av vårt system för kubisk typteori).

Behörighet
Behörighet för anställning som lärare finns angivna i 4 kap 3 - 4 § högskoleförordningen samt Göteborgs universitets egen anställningsordning.
Behörighet att anställas som postdoktor är den som vid sista ansökningsdag innehar en doktorsexamen i relevant ämnesområde, till exempel inom datavetenskap eller software
engineering. Efter anställning som postdoktor utgör en meriteringsanställning för juniora forskare riktar vi oss främst till den som har en doktorsexamen som inte är äldre än 3 år räknat
från sista ansökningsdag. Även den som avlagt examen tidigare kan komma ifråga om särskilda skäl föreligger.

Bedömningsgrund
Bedömningsgrunder vid anställning som lärare finns angivna i 4 kap 3 - 4 § högskoleförordningen samt Göteborgs universitets egen anställningsordning.

Doktorsexamen i relevant forskningsområde. Flera publikationer i internationella tidskrifter.
Goda kunskaper och erfarenhet av ovan beskrivna metoder. Dokumenterad god förmåga att uttrycka sig i tal och skrift.
Den sökande behöver djupa kunskaper om semantiken för kubisk typteori och kunna bidra både till utvecklingen av implementeringen av teorin i Haskell och till ytterligare teoretisk
analys av detta system.

Kontaktuppgifter för anställningen

Peter Dybjer, Avdelningschef
+ 46 31 772 1035
peterd@chalmers.se
www.chalmers.se/sv/institutioner/cse/Sidor/default.aspx

Fackliga organisationer
OFR/S: Peter Brandt
+ 46 31 786 1169
peter.brandt@gu.se

SACO: Catrine Folcker
+46 31 786 2768
catrine.folcker@gu.se

SEKO: SEKO klubb universitet Göteborg
+ 46 31 786 2311
seko@gu.se

Ansökningsförfarande
Registrera din ansökan elektroniskt under "Ansök online". Ange referensnummer (PER 2016/478) på samtliga inskickade handlingar.

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.