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 ([email protected]) Har du frågor om anställningsförfarandet är du välkommen att kontakta HR-partner Robin Garnham ([email protected]) 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.