Kunnskap som formar samfunnet
Gjennom eit sterkt og tett samspel med omverda - globalt, nasjonalt og lokalt - skal vi medverke til eit samfunn bygd på kunnskap, ferdigheiter og haldningar.
Vil du vere med å forme framtida?
Professor II i programutviklingsteori (20 %)
Ved Institutt for informatikk er det ledig ei stilling som professor II (20 %) innan programutviklingsteori. Stillinga skal styrke forskingsgruppa for programutviklingsteori ved instituttet, der formålet er å fokusere på programvare som eit formelt studieobjekt ved bruk av formelle metodar og språkverktøy, inklusive utvikling av ulike typar applikasjonar. Stillinga har ein åremålsperiode på 3 år.
Om instituttet
Institutt for Informatikk (II) er med sine rundt 150 tilsette og meir enn 900 studentar et middels stort institutt med 8 forskingsgrupper innan algoritmar, bioinformatikk, maskinlæring, optimering, programutviklingsteori, sikker kommunikasjon, visualisering og fagdidaktikk. II driver grunnleggande ...