Forskare

Göteborgs universitet / Högskolejobb / Göteborg
2024-04-29
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den aktuella platsannonsen "Forskare" (sökbar t.o.m. 2025-01-10) ⬅️


Visa alla högskolejobb 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. Anställningen är placerad vid forskargruppen i Formella metoder, avdelningen för Computing science vid institutionen, med Göteborgs universitet som arbetsgivare.

Arbetsuppgifter
Du kommer arbeta med att uteckla teoretiska grunder för reaktiva syneser från tidsmässiga specifikationer. Detta innehåller studerande av two-player spel och deras lösningar, modeller för beräkning and studier av tidsmässiga och modal logik.
Specifikt kommer forskningen att fokuseras på följande:

1. Överväga modelleringsmodeller som kombinerar meddelande som passerar och variabel delning som tillåter synkronisering samt informationsöverföring

2. Överväga modellering och analys av multi-agent system

Forskaren förväntas planera och producera självständig och högkvalitativ forskning, skriva om upptäckter för vetenskapliga publikationer, presentera vetenskapliga upptäckter på internationella konferenser, bidra till de aktiviteter som krävs inom forskningsgruppen och institutionen för att ge support och guidning till kollegor och studenter.

Forskaren kommer att ägna 80% av sin tid åt forskning och 20% av sin tid på institutionstjänstgöring. Institutionstjänstgöring är undervisnisningsaktiviteter vid institutionen, framförallt i formen av undervisningsstöd.

Kvalifikationer
Behörig att anställas som forskare är den som har avlagt doktorsexamen inom computer science och som har tidigare erfarenhet från anställning som postdoktor samt erfarenhet inom området för modellkontroll, tidslogik eller beräkningsmodeller.

Anställning
Anställningsform: Tidsbegränsad anställning under 8 månader
Omfattning: 100% heltid
Placering: Data- och informationsteknik, avdelningen för Computing Science, enhet Formella metoder
Tillträde: 2024-05-01 eller enligt överenskommelse

Kontaktuppgifter för anställningen
Har du frågor om anställningen är du välkommen att kontakta Nir Piterman (piterman@chalmers.se)
Har du frågor om anställningsförfarandet är du välkommen att kontakta HR-partner Robin Garnham (robin.garnham@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
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.

Ansökan ska vara inkommen senast: 2024-05-13

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.

Ersättning
Individuell lönesättning

Så ansöker du
Sista dag att ansöka är 2024-05-13
Klicka på denna länk för att göra din ansökan

Omfattning
Detta är ett heltidsjobb.

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

Arbetsplats
Göteborgs universitet

Jobbnummer
8647190

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Göteborgs universitet

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Göteborgs universitet: