Forskare i Formella metoder
Göteborgs universitet / Datajobb / Göteborg
Observera att sista ansökningsdag har passerat.
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. 56 000 studenter och 6 600 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 300 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. Institutionen för data- och informationsteknik söker nu en forskare. Anställningen är placerad vid avdelningen för Formella metoder vid institutionen, med Göteborgs universitet som arbetsgivare.
Vi erbjuder en ettårig anställning som forskare med stöd av ERC Consolidator-stipendiet "D-SynMA". Som forskare förväntas du utföra din egen forskning (inom ramen för projektet) och dina intressen och val kommer att ligga till grund för de uppgifter du tar. Vi strävar efter att stödja dig i utvecklingen av din egen karriär. I synnerhet, förutom att stärka din vetenskapliga skicklighet, uppmuntrar vi dig att samarbeta och utöka ditt nätverk samt att engagera dig i relevant personalutveckling och utbildningar. Deltagande i undervisning är inget krav, men om detta önskas kan det finnas möjlighet att tillgodose det.
Göteborgs universitet är en jämställd arbetsgivare och vi uppmuntrar ansökningar från underrepresenterade minoriteter.
Ämne
Formella metoder-specifikt reaktiv syntes och runtime-verifiering.
Projektbeskrivning
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 reaktiv syntetisering från temporära och modala specifikationer.
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.
• Kombinera reaktiv syntetisering och runtime-verifiering på ett sätt som gör det möjligt att utöka omfattningen av reaktiv syntetisering.
Arbetsuppgifter
Att engagera sig i forskning relaterat till ämnet för projektet:
• 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.
• Kan förekomma handledning av studentprojekt
Behörighet
Behörig att anställas som forskare är den som innehar doktorsexamen i relevant ämnesområde, till exempel inom model checking eller formell verifiering.
Bedömningsgrund
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 reaktiv syntes och runtime-verifiering.
• 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 (allmän visstid), 12 månader
Omfattning: 100%, fulltid
Placering: Data- och informationsteknik, enheten för Formella metoder
Tillträde: 2022-08-01
Kontaktuppgifter för anställningen
Upplysningar gällande projektet vänligen kontakta Nir Piterman (e-mail:
piterman@chalmers.se)
Upplysningar om anställningen lämnas av Aarne Ranta (e-mail:
aarne.ranta@cse.gu.se)
Frågor gällande anställningsförfarandet, vänligen kontakta HR Partner Anna Engkvist (e-mail:
anna.engkvist@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 Ansökan
För att söka en anställning vid Göteborgs universitet måste du registrera ett konto i vårt rekryteringssystem. 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-04-05
Universitetet arbetar aktivt för en arbetsmiljö med jämställda förhållanden och sätter värde på de kvalitéer mångfald tillför verksamheten.
Universitetet tillämpar individuell lönesättning.
Enligt Riksarkivets föreskrifter är universitetet skyldigt att förvara ansökningshandlingar i två år efter tillsättningsbeslutet. Om du som sökande till en anställning särskilt begär tillbaka dina handlingar återsänds de när de två åren har förflutit, i annat fall kommer de att gallras ut.
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
Publiceringsdatum2022-03-15ErsättningIndividuell lönesättning
Så ansöker duSista dag att ansöka är 2022-04-05
Klicka på denna länk för att göra din ansökanFöretagGöteborgs Universitet
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Göteborgs Universitet (org.nr 202100-3153),
http://www.gu.se/ Arbetsplats Göteborgs universitet
Jobbnummer 6438032
Observera att sista ansökningsdag har passerat.