Amanuens inom forskning inom Formella metoder, Computing Science
Göteborgs universitet / Högskolejobb / Göteborg
2026-02-06
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,
Mölndal,
Partille,
Lysekil,
Uddevalla eller i
hela Sverige 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".
Publiceringsdatum2026-02-06Dina arbetsuppgifterSom 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.
KvalifikationerFö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
piterman@chalmers.seHar du frågor om din ansökan eller rekryteringsprocessen är du välkommen att kontakta Jenny Lind
jenny.lind@cse.gu.seFackliga 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 duFö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.
Ersättning Individuell lönesättning
Så ansöker du Sista dag att ansöka är 2026-02-20
Klicka på denna länk för att göra din ansökan Omfattning Detta är ett deltidsjobb.
Arbetsgivare Göteborgs Universitet (org.nr 202100-3153),
http://www.gu.se/ Arbetsplats Göteborgs universitet
Jobbnummer 9728242