Doktorandplats i formell verifiering av spatiala multiagentsystem

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.Denna tjänst tillhör forskargruppen vid enhet Formella metoder inom avdelningen Computing Science. Gruppen och den bredare avdelningen utgör en livlig miljö med givande interaktioner mellan forskningsområden såsom formell verifiering, funktionell programmering, typteori, informationssäkerhet och mer. Universitetsgemensam information om vad det innebär att vara doktorand vid Göteborgs universitet kan du finna på universitetets doktorandsidor. https://www.gu.se/utbildning-till-att-bli-forskare Arbetsuppgifter Forskarutbildning omfattar fyra års heltidsstudier och leder fram till en doktorsexamen.  Inom ramen för din doktorandanställning kan du ha institutionstjänstgöring i en omfattning av max 20 % av heltid fördelat under hela utbildningstiden vilket i så fall genererar motsvarande förlängning av utbildningstiden. Institutionstjänstgöring omfattar vanligtvis undervisning på grundnivå och avancerad nivå, men även forskning och administration kan ingå. Denna tjänst finansieras av ett prestigefyllt anslag från Vetenskapsrådet, om automatisk syntes av program för spatiala multiagentsystem. Tidiga resultat har publicerats i forum som AAMAS, ACC, JAAMAS m.fl. Vår forskning omfattar utveckling av teorier och tekniker för formell verifiering av autonoma system, t.ex. kontrollsyntes, planering, modelltäckning m.m. Vi är dessutom öppna för tekniker som kombinerar formell verifiering med maskininlärning. För närvarande utvecklar vi specialiserade verktyg för rekonfigurerbara samtidiga system (ReCiPe-formalismen, R-CHECK-modellkontrollern och SynTM-syntesmotor). Vi stödjer även helt verifierad kodgenerering för ROS2 – Robot Operating System. Vårt labb är utrustat med robotar som vi använder för att implementera och validera våra resultat. Konkreta arbetsuppgifter kan, men behöver inte, omfatta; vidareutveckling av befintliga teorier och verktyg, samt utveckling av fallstudier som visar de praktiska effekterna av existerande teorier. Det kan även finnas möjligheter att bredda verksamheten baserat på ömsesidiga intressen. Behörighet För tillträde till forskarutbildning på forskarnivå krävs grundläggande och i förekommande fall den särskilda behörighet som är fastställd i den allmänna studieplanen för forskarutbildningsämnet. Grundläggande behörighet till forskarutbildning på forskarnivå har den som: • avlagt examen på avancerad nivå, eller • fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller • på annat sätt inom eller utom landet förvärvat motsvarande kunskaper. Bedömningsgrund Urval bland sökande som uppfyller krav på grundläggande och särskild behörighet baseras på förmågan att tillgodogöra sig forskarutbildningen. Mycket goda kunskaper i engelska (såväl muntligt som skriftligt) är obligatoriskt. Svenska är inget krav, men institutionen erbjuder svenskakurser. Konkurrenskraftiga kandidater förväntas ha bakgrund och erfarenhet inom ett eller flera av följande områden: • Formella metoder (t.ex. samtidighet, automatteori eller temporala/rumsliga logiker) eller diskret styrning (t.ex. planering, övervakande styrning eller kontrollsyntes) • Verifieringsverktyg såsom modellkontroller eller syntesmotorer • Tidigare erfarenhet av att kombinera förstärkningsinlärning med reaktiv syntes och/eller styrning är en fördel Vi välkomnar även kandidater från närliggande områden som är intresserade av att komma in i fältet. Sökanden ska kunna arbeta både självständigt och i grupp. Förmåga till samarbete och eget initiativ är viktiga egenskaper, tillsammans med noggrannhet och intresse för forskning. Vid bedömningen läggs särskild vikt vid forskningsskicklighet inom det relevanta forskningsområdet. Antagning och anställning Efter du har blivit antagen till forskarutbildning kommer du att erhålla en doktorandanställning vid Göteborgs universitet. Bestämmelser för anställning som doktorand återfinns i förordning SFS 1993:100. Den första anställningen som doktorand får gälla högst ett år och får förnyas med högst två år i taget. En doktorand får som längst vara anställd som doktorand under åtta år men den sammanlagda anställningstiden får inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år. Universitetet tillämpar lokalt avtal om lönesättning av doktorander. Forskarutbildningen vid institutionen för Data- och informationsteknik kräver fysisk närvaro för att genomföra studierna. Om den som antas behöver uppehållstillstånd för att bedriva studier i Sverige, har institutionen för Data- och informationsteknik rätt att återkalla beslut om antagning i det fall den antagne inte kan uppvisa ett giltigt uppehållstillstånd vid datumet för studiestart. Anställningsform: Tidsbegränsad anställning, HF 5 kap7§ Omfattning: 100% heltid Tillträde: 2026-03-01 eller enligt överenskommelse Kontaktuppgifter för doktorandplatsen Upplysningar om projektet lämnas av Yehia Abd Alrahman yehiaa@chalmers.se Ansökan Du ansöker om att bli antagen till forskarutbildning via Göteborgs universitets rekryteringsportal. 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 skrivas på engelska. Ansökan ska vara inkommen senast: 2026-01-29 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.