Arbetsbeskrivning

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 58 000 studenter och 6800 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 är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Vid institutionen bedrivs utbildning inom ett brett spektrum av områden. Institutionen för data- och informationsteknik söker en amanuens inom forskning inom området Formella metoder med betoning på "Reactive Synthesis".  Arbetsuppgifter Som amanuens i forskningsprojekt kommer du arbeta med att stötta forskare med praktiska uppgifter inom deras forskningsprojekt. Till exempel kan det innebära uppgifter som samla in och hantera data, analysera data eller programmeringsuppgifter. Du kommer att ha löpande kontakt med berörd forskare angående vilka moment du kan vara behjälplig inom. Den valda kandidaten kommer att arbeta med Professor Nir Piterman, i enheten för formella metoder, med tillämpningar av spelteori för "reactive synthesis". Mer specifikt kommer vi att arbeta med en implementering av spelanalys för tvåspelarspel med oändlig varaktighet. Lösningen för spelet ska implementeras i programpaketet Spot. Kvalifikationer För att vara kvalificerad för tjänsten;  • Du är en aktiv student vid Göteborgs universitet eller Chalmers tekniska högskola, vid något av institutionens program på grund- eller avancerad nivå. • Du har väldigt goda kunskaper i svenska eller engelska, både i tal och skrift. • Du kommer befinna dig i Göteborg, Sverige under anställningsperioden. • Kunskaper i C och C++ krävs. • Erfarenhet av att arbeta med MTBDDs krävs. • Erfarenhet av spel för två spelare och algoritmer för deras analys krävs. Vi kommer göra en helhetsbedömning där stor vikt kommer läggas vid personlig lämplighet. Anställning Anställningsform: Tidsbegränsad anställning till den 30 juni 2026 Omfattning: 20% av heltid Placering: Institutionen för data- och informationsteknik, Göteborg Tillträde: 2026-03-01 eller enligt överenskommelse Kontaktuppgifter för anställningen Har du frågor om anställningen är du välkommen att kontakta Professor Nir Piterman [email protected] Har du frågor om din ansökan eller rekryteringsprocessen är du välkommen att kontakta Jenny Lind [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 För att söka en anställning vid Göteborgs universitet måste du registrera ett konto i vårt rekryteringssystem. 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. Fyll i dina personliga uppgifter och svar på tilläggsfrågor. Du ska även bifoga ett CV och ett betygsunderlag (utdrag ur Ladok).  Efter sista ansökningsdagen behandlas alla ansökningar. Ansökan ska vara inkommen senast: 2026-02-20 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. 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.