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