Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 58 000 studenter och 6800 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. Forskare i typteori för matematik och datavetenskap 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 två 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 De två tjänsterna är heltidstjänster på 360 dagar vardera inom forskargruppen 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änsterna kan omfatta undervisning vid institutionen, inklusive handledning…

Två Forskare