Ledig stilling ved Universitetet i Bergen

Stipendiat i algoritmer

Søknadsfrist: 05.05.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 algoritmer

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 i algoritmer. Stillinga er for ein åremålsperiode på tre år, med høve til eit fjerde år. Stillinga er finansiert av Noregs forskingsråd gjennom IKTPLUSS-initiativet.

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å.

Om prosjektet/arbeidsoppgåver:

Alle tilsette vert forventa å bidra til framifrå forsking og undervisning av høg internasjonal kvalitet. Den som vert tilsett i denne stillinga skal arbeide i forskergruppa algoritmer, på prosjektet "Automatisert beviskonstruksjon inspirert av parameterisert kompleksitetsteori".

Målet med prosjektet er å utvikle raskare algoritmer for problemstilling med relevans innan automatisert resonnering, spesielt innan automatisert beviskonstruksjon.

Kvalifikasjonar og eigenskapar:

  • Søkjarar må ha oppnådd mastergrad eller tilsvarende i informatikk eller matematikk. Masterstudenter kan søke dersom dei fullførar den endelige mastereksamen før 01.08.2019. Det er ein føresetnad at mastergraden er oppnådd før tilsetjing kan skje.
  • Søkjarar må ha bakgrunn i frå algoritmer, typeteori, automatteori, beregningslogikk eller relaterte felt, slik som kombinatorikk, grafteori.
  • Programmeringserfaring er eit krav.
  • Kjenskap till bevisassistenter som Coq, Isabelle eller Agda er ein føremon
  • Søkjarar må kunne arbeide sjølvstendig og strukturert og ha gode samarbeidsevner.
  • Søkjarar må ha gode skriftlege og munnlege engelskkunnskapar.
  • Gode norskkunnskaper er ein føremon
  • 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 3 år, med høve til eit 4. år. Den som vert tilsett for fire år vil i tillegg til å jobbe mot ein ph.d.-grad, ha oppgåver retta mot undervisning, formidling og rekruttering i 25% av tida si. Ansettelse i 4 år avheng av kandidaten sine kvalifikasjonar og instituttet sitt behov for undervisning, og vil bli avgjort av instituttleiar ved tilsetjing. 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.

Vi tilbyr:

  • Spennande og utviklande arbeidsoppgåver i et sterkt fagmiljø
  • Løn etter lønssteg 51 (kode 1017 /LR20, alternativ 9) i det statlege lønnsregulativet. Dette utgjer for tida ei årsløn på kr 449 400 brutto. Vidare opprykk skjer etter tenesteansiennitet
  • Medlemsskap 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
  • 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 05.05.2019

Generell informasjon:

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

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.

Universitetet i Bergen nyttar meirinnsyn ved tilsetjing i vitskaplege stillingar. Opplysningar om søkjaren kan bli gjort offentlege sjølv om søkjaren har oppmoda om ikkje å bli ført på søkjarlista. Dersom oppmodinga ikkje blir teke til følgje, skal søkjaren varslast om dette.

Nærare om tilsettingsprosessen her.

Søk på stillingen