Postdoktor i Formella metoder

Göteborgs universitet / Datajobb / Göteborg
2021-12-21
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Postdoktor i Formella metoder" (publicerad 2022-04-05) ⬅️

Visa alla datajobb i Göteborg, Mölndal, Partille, Kungälv, Lerum eller i hela Sverige
Visa alla jobb hos Göteborgs universitet i Göteborg, Partille, Lysekil, Uddevalla, Vänersborg eller i hela Sverige

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

Institutionen för data- och informationsteknik har en internationell prägel med cirka 270 anställda från över 30 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Anställningen är placerad vid enheten för Formella metoder vid institutionen, med Göteborgs universitet som arbetsgivare. För fullständig annons se www.gu.se/om-universitetet/jobba-hos-oss/lediga-anstallningar.

Ämne
Formella metoder- specifikt reaktiv syntes från temporala specifikationer.

Ämnesbeskrivning
Tjänsten innebär att man arbetar med det ERC-finanserade projektet "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 syntetisering från temporära och modala specifikationer till multipla agenter.

Mer specifikt ska forskningen fokusera på följande:

• Undersökning av modeller som kombinerar både kommunikation genom message passing och variabeldelning, 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 tillåter resonemang om hur agenter interagerar, utöver vad deras mål är. Algoritmiskt analysera spel som uppstår från sådana specifikationer.

Publiceringsdatum
2021-12-21

Dina arbetsuppgifter
Att engagera sig i forskning relaterat ämnet för bidraget:

• Att självständigt planera och bedriva högkvalitativ 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

Personlig utveckling

• Att engagera sig i kontinuerlig utveckling t.ex. genom relevanta kurser eller andra utbildningsevenemang.
• Stärka ditt personliga erkännande och utöka ditt nätverk, till exempel genom deltagande i internationella och nationella konferenser eller forskningsbesök.

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.
• Dessutom kan du komma att delta i undervisningen vid institutionen inklusive handledning av kandidat- och masters exjobb. Din undervisning kommer högst att omfatta 20% av arbetstiden. Du kan utöver det även komma att anlitas som bihandledare till doktorander.

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ärrelaterat ämne.
• Starka samarbetsförmåga med förmåga att arbeta som del av ett team förutom självständigt.
• 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 engelskakunskaper inom vetenskap, administrativa aktiviteter samt i kommunikation
• Goda kommunikativa egenskaper i tal och skrift
• Förmåga att värna om etiken inom vetenskapen
• Lojal med hög arbetsmoral
• Förmåga att planera sin tid

Önskvärda förmågor

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

Anställning
Anställningsform: Tidsbegränsad anställning, centralt kollektivavtal för anställning av postdoktorer
Omfattning: 100%, fulltid
Placering: Data- och informationsteknik, enheten för Formella metoder
Tillträde: 2022-03-01 eller snarast möjligt

Kontaktuppgifter för anställningen
Upplysningar om projektet lämnas av Nir Piterman (e-mail: piterman@chalmers.se)
Upplysningar om anställningen lämnas av David Sands (e-mail: dave@chalmers.se
Frågor om anställningsförfarandet kan ställas till Kristin Kristiansson (e-mail: kristink@chalmers.se).

Fackliga organisationer
Fackliga företrädare vid Göteborgs universitet hittar du här: https://www.gu.se/om-universitetet/jobba-hos-oss/hjalp-for-sokande

Så ansöker du
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: 2022-01-11

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.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Ersättning
Individuell lönesättning

Så ansöker du
Sista dag att ansöka är 2022-01-11
Klicka på denna länk för att göra din ansökan

Företag
Göteborgs Universitet

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Göteborgs Universitet (org.nr 202100-3153), http://www.gu.se/

Arbetsplats
Göteborgs universitet

Jobbnummer
6201157

Observera att sista ansökningsdag har passerat.

Postdoktor i Formella metoder

Prenumerera på jobb från Göteborgs universitet