91´«Ã½ÔÚÏß

Till vår institution, som bedriver forskning på högsta internationella nivå och tillhandahåller ett flertal högkvalitativa utbildningsprogram, söker vi nu en doktorand med inriktning mot neurosymbolisk graftransformation.

Institutionen för datavetenskap har haft en expansiv tillväxt under de senaste åren. Att skapa en inkluderande forskningsmiljö där medarbetare har en hög delaktighet är en viktig faktor i vår hållbara utveckling. Vår institution består av en diversifierad grupp människor från olika nationaliteter, bakgrunder och fält. Som doktorand hos oss har du tillgång till stöd för din karriärutveckling, nätverk, administrativ och teknisk support samt goda anställningsvillkor. För mer information besök /institutionen-for-datavetenskap/

Ìý

Projektbeskrivning

Graftransformation är en väletablerad teori som studerar metoder för att stegvis transformera grafer genom att tillämpa enkla regler som är diskreta till sin natur. Det här projektet, under ledning av professor Frank Drewes, syftar till att integrera neurala metoder och därmed kontinuerliga aspekter i regelbaserade modeller för graftransformation, i syfte att kombinera de båda paradigmens respektive styrkor. Regelbaserade modeller är transparenta och förklarbara; de är begripliga för människor och tillgängliga för algoritmiska tekniker, medan neurala modeller är adaptiva och inlärningsbara. Projektets mål är att utveckla modeller som förenar dessa fördelar. Projektet omfattar både formalisering och matematisk analys å ena sidan, och implementation i syfte att genomföra experiment och demonstrationer å andra sidan.

Ìý

Kvalifikationer

För att bli antagen till utbildning på forskarnivå krävs det att den sökande har grundläggande behörighet genom avlagd examen på avancerad nivå, eller slutförda kursfordringar om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå, eller motsvarande utländsk utbildning, eller motsvarande kvalifikationer.

För att bli antagen till utbildning på forskarnivå inom ämnet datavetenskap krävs att den sökande har godkända kurser om minst 90 högskolepoäng i ämnet datavetenskap eller som är direkt relevanta för den aktuella specialiseringen.

Det är ett krav att du är förtrogen med

• beräkningsteori, särskilt formella sprÃ¥k och automatteori, samt
• de matematiska och beräkningstekniska grunderna för neurala nätverk.

Kunskaper inom följande områden är meriterande:

• ³¾²¹²õ°ì¾±²Ô¾±²Ô±ôä°ù²Ô¾±²Ô²µ,
• ²ú±ð°ùä°ì²Ô¾±²Ô²µ²õ°ì´Ç³¾±è±ô±ð³æ¾±³Ù±ð³Ù,
• trädautomater och trädtransformationer, samt
• teorin för graftransformationssystem.

Som person är du nyfiken, öppensinnad och både intresserad av och kapabel till formella resonemang. Du har även förmågan att implementera de utvecklade modellerna i form av prototypisk programvara.

Ìý

Om anställningen

Anställningen syftar till en doktorsexamen, och doktorandens huvuduppgift är att ägna sig åt egen forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna kan undervisning och annat institutionsarbete (upp till max 20%) ingå. Anställningen är tidsbegränsad till fyra år heltid eller upp till fem år vid undervisning deltid.

Förväntat startdatum är 2026-02-02 eller enligt överenskommelse.

Löneplaceringen sker enligt fastställd lönestege för doktorandanställning. Enligt Högskoleförordningen (12 kap, 2 §) kan beslutet om anställning inte överklagas.

Ìý

Så här ansöker du

Du ansöker via vårt rekryteringssystem (se nedan).

En fullständig ansökan ska innehålla:

• Ett personligt brev som beskriver dina forskningsintressen, och varför du söker den utlysta anställningen. Brevet ska ocksÃ¥ innehÃ¥lla din kontaktinformation
• Kopior av examensbevis eller motsvarande
• Curriculum Vitae (CV)
• Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sÃ¥dana finns
• Dokumentation och beskrivning av andra relevanta erfarenheter och kompetenser
• Kontaktuppgifter till tvÃ¥ personer som är beredda att lämna referenser

´¡²Ô²õö°ìan ska vara skriven pÃ¥ svenska eller engelska. Om bifogade dokument har annat originalsprÃ¥k ska en översättning inkluderas. Bifogade dokument ska vara i Word eller pdf-format. ´¡²Ô²õö°ìan ska göras via UmeÃ¥ universitets e-rekryteringssystem och vara inkommen senast 2025-11-23. Logga in i systemet och ansök via knappen längst ner pÃ¥ webbsidan.

Institutionen för datavetenskap värdesätter diversitet. Vi välkomnar därför i synnerhet kvinnor och personer utanför det binära genussystemet som sökande.

Vid frÃ¥gor eller behov av ytterligare information, kontakta professor Frank Drewes (drewes@cs.91´«Ã½ÔÚÏß)Ìý

Ìý