Ledig stilling ved Universitetet i Bergen

Stipendiat i informatikk - typeteori

Søknadsfrist: 15.11.2019

UiB - 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?

Stipendiat i informatikk - typeteori

Universitetet i Bergen

Universitetet i Bergen er ein anerkjend utdannings- og forskingsinstitusjon, organisert i sju fakultet og omlag 54 institutt og faglege senter. Campus ligg i sentrale delar av Bergen med universitetsområde på Nygårdshøyden, Haukeland, Marineholmen, Møllendalsveien og Årstad.


Det matematisk-naturvitenskapelige fakultet består av sju institutt og en rekke sentre. Les meir om fakultet og tilhøyrande institutt.

Ved Institutt for informatikk er det ledig ei stilling som stipendiat informatikk . programmeringsteori. Stillinga er for ein åremålsperiode på 4 år.

Om instituttet

Institutt for informatikk har sju forskingsgrupper som leverer forsking og utdanning av høg internasjonal kvalitet innan algoritmar, bioinformatikk, maskinlæring, optimering, programmeringsteori, sikker kommunikasjon og visualisering. Alle gruppene har stor eksternfinansiering, blant anna frå Det europeiske forskingsrådet (ERC). Instituttet tilbyr moderne og oppdatert utdanning på bachelor-, master- og ph.d.-nivå. På grunn av den viktige rolla som informatikk spiller i samfunnet er instituttet i sterk vekst, når det gjeld talet på studentar, forskingsretningar og tilsette. Vi har i dag om lag 700 studentar, i overkant av 50 stipendiatar og 150 tilsette, deriblant 35 førsteamanuensar og professorar. Vi har nyleg etablert Center for Data Science (CEDAS) som ein viktig utviding av vår aktivitet innan forsking og utdanning.

Om prosjektet/arbeidsoppgåver:

Alle tilsette vert forventa å bidra til framifrå forsking og undervisning av høg internasjonal kvalitet. Arbeidsplass for denne stillinga vil vera hos forskingsgruppa programmeringsteori. Den som vert tilsett vil jobbe med førsteamanuensis Håkon Robbestad Gyltreud, i tillegg til Professor Marc Bezem

Tema for arbeidet er typeteori. Moglege retningar kan vera homotopi-typeteori, bruk av typeteori innan programutvikling eller maskinassistert formalisering av matematikk.

Kvalifikasjonar og eigenskapar:

  • Søkjarar må ha oppnådd mastergrad eller tilsvarande i matematikk eller informatikk. Masterstudentar kan søkje dersom dei fullførar den endelege mastereksamen før 31.12.2019. Det er ein føresetnad at mastergraden er oppnådd før tilsetjing kan skje.
  • Erfaring frå typeteori, topologi, kategoriteori eller matematisk logikk eit krav.
  • Gode norskkunnskapar er ein sterk føremon.
  • Søkjarar må kunne arbeide sjølvstendig og strukturert og ha gode samarbeidsevner
  • Søkjarar må ha gode skriftlege og munnlege engelskkunnskapar.
  • Personlege og mellommenneskelege eigenskapar vil bli lagt vekt på. Ambisjonar og potensial vil også telle ved vurdering av kandidatane.

For stillinga gjeldt følgande:

Om stipendiatstillinga: Samla stipendperiode er 4 år, der 25 % av tida er pliktarbeid, knytt til forsking, undervisning og formidling. Om du tidlegare har vore tilsett i rekrutteringsstilling, kan det bli gjort frådrag i tilsetjingsperioden.

Om forskarutdanninga: Som stipendiat skal du delta i eit godkjent utdanningsprogram for ein ph.d.- grad innanfor ei tidsramme på 3 år. Endeleg plan for gjennomføringa av forskarutdanninga skal vere godkjent av fakultetet innan to månader etter at du har teke til i stillinga. Det er ein føresetnad at du fyller krava for opptak til ph.d.- studiet ved Universitetet i Bergen.

Omtale av rutinar for tilsetting og opptak til forskarutdanning vedteke av dei einskilde fakulteta

Vi tilbyr:

  • Eit godt og fagleg utfordrande arbeidsmiljø
  • Løn etter lønssteg 54 (kode 1017 /LR20, alternativ 10) i det statlege lønnsregulativet. Dette utgjer ei årsløn på kr 479 600,- brutto. Vidare opprykk skjer etter tenesteansiennitet.
  • Medlemskap i Statens pensjonskasse
  • Gode velferdsordningar

Søknaden skal innehalde:

  • Ei kort utgreiing om søkjaren sine forskingsinteresser og motivasjonen for å søkje stillinga
  • Namn og kontaktopplysningar til to referansar. Ein av desse bør vere hovudrettleiaren frå masteroppgåva eller tilsvarande oppgåve.
  • CV
  • Karakterutskrifter og vitnemål for bachelor- og mastergrad, alternativt ei stadfesting av at mastergradsoppgåva er levert. Dersom du enno ikkje har fullført mastergraden din, kan du sende inn ei stadfesting frå institusjonen på forventa dato for oppnådd mastergrad. Mastergraden må vere dokumentert med karakterutskrift og/eller vitnemål, alternativt ei stadfesting frå gradsgjevande institusjon på fullført grad og oppnådd karakter, innan 31.12.2019.
  • Relevante attestar
  • Eventuell liste over vitskaplege arbeid (publikasjonsliste)
  • Eventuelle publikasjonar

Søknad og vedlegg med attesterte omsetjingar til engelsk eller eit skandinavisk språk må lastast opp i JobbNorge innan 15.11.2019

Generell informasjon:

Utfyllande opplysningar om stillinga kan ein få ved å vende seg til:

For HR-relaterte førespurnader ta kontakt med Lene Engelsgjerd

Den statlege arbeidsstyrken skal i størst mogleg grad spegle mangfaldet i befolkninga. Personar med innvandrarbakgrunn og personar med nedsett funksjonsevne blir oppmoda om å søkje stillinga.

Vi oppmodar kvinner om å søkje. Dersom fleire søkjarar har tilnærma like kvalifikasjonar, gjeld reglane for moderat kjønnskvotering.

Søk på stillingen