Postdoktor i Typteori för matematik och datavetenskap

Göteborgs universitet / Datajobb / Göteborg
2021-02-10
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Postdoktor i Typteori för matematik och datavetenskap" (publicerad 2023-03-28) ⬅️

Visa alla datajobb i Göteborg, Mölndal, Partille, Kungälv, Lerum eller i hela Sverige
Visa alla jobb hos Göteborgs universitet i Göteborg, Partille, Lysekil, Uddevalla, Vänersborg eller i hela Sverige

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 söker nu en postdoktor. Anställningen är placerad vid forskargruppen i Logic och typer med Göteborgs universitet som arbetsgivare. För fullständig annons se https://www.gu.se/.

Ämne
Typteori för matematik och datavetenskap

Publiceringsdatum
2021-02-10

Dina arbetsuppgifter
Denna postdoktorala position är en tvåårig 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.

Dessutom förväntas du delta i undervisningen vid institutionen inklusive handledning av kandidat- och masters exjobb. Din undervisning kommer högst att omfatta 20% av arbetstiden. Du kan även komma att anlitas som bihandledare till doktorander.

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örig att anställas som postdoktor är den som vid sista ansökningsdag innehar doktorsexamen i relevant ämnesområde, till exempel inom datavetenskap eller matematik. Eftersom anställning som postdoktor utgör en meriteringsanställning för juniora forskare, riktar vi oss 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 bör komma i fråga i första hand, om det finns särskilda skäl. Med särskilda skäl avses ledighet på grund av sjukdom, tjänstgöring inom totalförsvaret, förtroendeuppdrag inom fackliga organisationer och studentorganisationer eller föräldraledighet eller andra liknande omständigheter.

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.

Du förväntas ha en stark forskningsbakgrund och erfarenhet av att arbeta med beroende typteori och univalens. Kunskaper om homotopiteori är också relevant som bedömningsgrund. Vi välkomnar dock också kandidater som arbetar inom närliggande områden och som är intresserade av att börja arbeta med homotopitypteori.

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.

Medan både svenska och engelska används i grundkurser är engelska arbetsspråket för forskning vid institutionen för datavetenskap och teknik. Således är både muntlig och skriftlig flytande engelska obligatorisk för kandidater.

Anställning
Anställningsform: Tidsbegränsadanställning, 24 månader, centralt kollektivavtal för anställning av postdoktorer
Omfattning: 100%, fulltid
Placering: Data- och informationsteknik, avdelningen för forskargruppen i Logik och typer.
Tillträde: april 2021 eller enligt överenskommelse

Kontaktuppgifter för anställningen
Upplysningar om projektet lämnas Thierry Coquand (e-mail: Thierry.Coquand@cse.gu.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

Så ansöker du
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.

Ansökan ska vara inkommen senast: 2021-03-10

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.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Ersättning
Individuell löneinplacering

Så ansöker du
Sista dag att ansöka är 2021-03-10
Klicka på denna länk för att göra din ansökan

Företag
Göteborgs Universitet

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Göteborgs Universitet (org.nr 202100-3153), http://www.gu.se/

Arbetsplats
Göteborgs universitet

Jobbnummer
5568212

Observera att sista ansökningsdag har passerat.

Postdoktor i Typteori för matematik och datavetenskap

Prenumerera på jobb från Göteborgs universitet