arbetsgivarverket.se

Jobba Statligt

Postdoktor i Formella metoder

  • Yrkesroll

    Forskare, IT

  • Anställning

    Heltid, 6 månader eller längre

  • Lön

    Fast månads- vecko- eller timlön

  • Publicerad

    6 november

  • Sök jobbet senast

    21 november

Om jobbet

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 47 500 studenter och 6 400 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.

För fullständig annons se www.gu.se/omuniversitetet/jobba.

 

Ämnesbeskrivning

Tjänsten innebär att man arbetar med ett ERC finanserat projekt ”dSynMA”: Distributed Synthesis from Single to Multiple Agents”. Målet med projektet är att utveckla teoretiska grunder som möjliggör att applicera multipel reaktiv syntetistering från temporära specfikationer till multipla agenter. Mer specifikt ska forskningen fokusera på följande:
  • Undersökning av modeller som kombinerar både kommunikation genom message passing och shared variables, för både synkronisering och informationsdelning.
  • Arbete inom algoritmisk analys av spel som uppstår ur interaktioner mellan olika agenter som stödjer rika modeller. Detta inkluderar analys av spel med partiell information, samt applikationer av abstraktioner och kombinationer i spelteoretisk analys.
  • Studier av specifikationsspråk som utökar temporallogik och strategilogik genom att tillåta resonemang om hur agenter interagerar, utöver vad deras mål är. Algoritmiskt analysera spel som uppstår från sådana specifikationer.

Arbetsuppgifter

Att engagera sig i forskningrelaterat ämne för bidraget:
  • Att planera och producera självständigt, högkvalitets forskning
  • Att skriva om sina resultat i vetenskapliga skrifter
  • Att presentera vetenskapliga resultat på internationella konferenser
  • Att bidra till de gemensamma aktiviteterna hos forskningsgruppen, avdelningen samt stöd till studenter och övriga kollegor
  • Att vara engagerad i kontinuerlig utveckling tex genom relevanta kurser

Samarbete inom och utanför Göteborgs Universitet

  • Regelbunden närvaro på stora nationella och internationella konferenser för att presentera forskningsresultat och nätverkande som bidrar till självutvecklande samt bra marknadsföring för Universitet.
  • Kan förekomma övervakning studenters projekt 

Behörighet

Behörighet för anställning som lärare finns angivna i 4 kap 3 - 4 § högskoleförordningen samt Göteborgs universitets egen anställningsordning.

Behörig att anställas som postdoktor är den som vid sista ansökningsdag innehar doktorsexamen i relevant ämnesområde, till exempel inom model checking eller formell verifiering. Eftersom anställning som postdoktor utgör en meriteringsanställning för juniora forskare, riktar vi oss till den som har en doktorsexamen som inte är äldre än 3 år räknat från sista ansökningsdag.

Bedömningsgrund

Bedömningsgrunder vid anställning som lärare finns angivna i 4 kap 3 - 4 § högskoleförordningen samt Göteborgs universitets egen anställningsordning.

Grundkrav

  • Doktorsexamen inom datavetenskap eller nära relaterat ämne.
  • Dokumenterade kunskaper och färdigheter på hög nivå inom verifiering, model checking, automata on infinite objects, temporal logik eller tvåspelarspel.
  • Dokumenterade färdigheter i att skriva och presentera vetenskapliga resultat i publikationer och konferenser
  • Avancerade engelska kunskaper inom vetenskap, administrativa aktiviteter samt i kommunikation
  • Goda kommunikation egenskaper i tal och skrift
  • Ska kunna arbeta självständigt och i grupp
  • Förmåga att värna om etiken inom vetenskapen
  • Lojal med hög arbetsmoral
  • Förmåga att arbeta i stressiga situationer med korta deadlines
  • Förmåga att planera sin tid

Önskvärda förmågor

  • Erfarenhet från att arbetat med studenter och med olika samarbeten
  • Erfarenhet att arbetet med andra forskningsteam
  • Förmåga att presentera forskningsresultat offentligt

Anställning

Anställningsform: Tidsbegränsadanställning, två år, centralt avtal
Omfattning: 100%, fulltid
Placering: Data- och informationsteknik, avdelningen för Formella metoder
Tillträde: 2020-02-01 eller snarast möjligt

Fackliga organisationer

Fackliga företrädare vid Göteborgs universitet hittar du här: http://www.gu.se/omuniversitetet/aktuellt/lediga-jobb/fackliga-kontaktpersoner

Ansökan

Du söker anställningen via Göteborgs universitets rekryteringsportal genom att klicka på knappen ”Ansök”. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.

Vi ser gärna att din ansökan är skriven på engelska då den kan komma att granskas av internationella sakkunniga med engelska som arbetsspråk.

Ansökan ska vara inkommen senast: 2019-11-21

 

 

Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.