Forskare
Göteborgs universitet / Datajobb / Göteborg
2024-05-06
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. 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 har en internationell prägel med cirka 300 anställda från över 40 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.
Ämne
Formalisering av univalent typteori
Arbetet med denna position handlar om homotopiteori och syntetisk algebraisk geometri, med formaliseringar i (kubisk) Agda.
Arbetsuppgifter
Positionen är en 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.
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änsadanställning i 360 dagar
Omfattning: 100%, heltid
Placering: Data- och informationsteknik, avdelningen för Computing science, forskargruppen i logik och typer
Tillträde: 2024-10-01 eller enligt överenskommelse
Tillsättningsförfarande
Du förväntas ha en stark forskningsbakgrund och erfarenhet av att arbeta med homotopiteori och univalens, liksom goda kunskaper i formalisering i (kubisk) Agda. Vidare bör kandidaten känna till syntetisk algebraisk geometri.
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.
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 (
thierry.coquand@cse.gu.se)
Har du frågor om anställningen är du välkommen att kontakta Aarne Ranta (
aarne.ranta@cse.gu.se)
Har du frågor om anställningsförfarandet är du välkommen att kontakta HR-partner Robin Garnham (
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 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 inklusive:
• CV, inkludera fullständig publikationslista;
• Tidigare undervisning och pedagogiska erfarenheter;
• Två referenser som vi kan kontakta.
Personligt brev 1-3 sidor där du:
• Introducerar dig själv;
• Beskriver dina tidigare forskningsområden och viktigaste forskningsresultat;
• Beskriver dina framtida mål och framtida forskningsfokus.
Andra dokument:
• Attesterade kopior av avslutad utbildning, betyg och andra certifikat.
Ansökan ska vara inkommen senast: 2024-05-28
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.
Ersättning individuell lönesättning
Så ansöker du Sista dag att ansöka är 2024-05-28
Klicka på denna länk för att göra din ansökan Omfattning Detta är ett heltidsjobb.
Arbetsgivare Göteborgs Universitet (org.nr 202100-3153),
http://www.gu.se/ Arbetsplats Göteborgs universitet
Jobbnummer 8660853