2 doktorander i datavetenskap med inriktning mot logikbaserade metoder för datahantering - Befattningen är under tillsättning eller redan tillsatt, och det är inte längre möjligt att lämna in en ansökan

Till vår institution, kännetecknad av världsledande forskning inom flera fält och en bredd av internationellt högt rankade utbildningsprogram, söker vi nu två doktorander inom logikbaserade metoder för datahantering.

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. De drygt 50 doktorandstuderande vid 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
https://www.umu.se/institutionen-for-datavetenskap/

Projektbeskrivning

Vi söker två doktorander för att förstärka gruppen Formella tekniker för kunskaps- och datahantering vid Umeå universitet, som finansieras av WASP-programmet (Wallenberg AI, Autonomous Systems and Software Program). Studenterna kommer att ansluta sig till en växande grupp som för närvarande består av forskningsledarna Diego Calvanese, Magdalena Ortiz och Mantas Šimkus samt postdoktorala forskare och doktorander. Huvudtemat för vår forskning är tillämpningar och vidareutveckling av logikbaserade metoder och tekniker för smart datahantering. Studenterna kommer också att ingå i WASP Graduate School och få tillgång till ett stort professionellt nätverk som omfattar andra svenska universitet.

Vi söker studenter med starkt intresse för följande forskningsområden:

* Kunskapsrepresentation och resonemang

* Beskrivningslogik

* Databasers grunder

* Logik för datavetenskap

* Computational Complexity of Reasoning

* Icke-monotona resonemang

* Logisk programmering

* Automatiserat resonemang

* Formella metoder

Wallenberg AI, Autonomous Systems and Software Program, WASP, är Sveriges största enskilda forskningsprogram i modern tid. Programmet skapar en plattform för akademisk forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskningen innefattar artificiell intelligens och autonoma system som verkar i samarbete med människor och som anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap och skapar intelligenta system av system. WASPs vision är excellent forskning och kompetens inom artificiell intelligens, autonoma system och mjukvara till gagn för svensk industri. Läs mer: https://wasp-sweden.org/

Forskarskolan inom WASP har som mål att förse framtidens forskare med nödvändig kunskap för att kunna analysera, utveckla och bidra aktivt till den tvärvetenskapliga utvecklingen av artificiell intelligens, autonoma system och mjukvara. Genom ett ambitiöst program med forskningsbesök, partneruniversitet och gästföreläsare stöder forskarskolan aktivt bildandet av ett starkt multidisciplinärt och internationellt professionellt nätverk mellan doktorander, forskare och industri. Forskarskolan erbjuder därmed en unik möjlighet för de studenter som lockas av internationell forskning i världsklass med industriell relevans. Mer information: https://wasp-sweden.org/graduate-school/

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.

Sökande förväntas ha:

- Dokumenterad stark bakgrund inom teoretisk datavetenskap eller diskret matematik

- Goda kunskaper att uttrycka sig i skrift

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 1 juni 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 (max 1 sida) som beskriver hur din akademiska bakgrund (t.ex. föreläsningar du deltagit i, din avhandling på kandidatnivå, studentprojekt etc.) är relaterad till åtminstone några av de forskningsområden som beskrivs ovan. Beskriv dina studie-/forskningsintressen i samband med ovanstående forskningsområden och berätta hur du tänker dig din yrkesmässiga framtid och dina bidrag till detta doktorandprogram.
  • Kopior av examensbevis eller motsvarande
  • Curriculum Vitae (CV)
  • Två skrivna referenser som tar upp den sökandes lämplighet att bidra till de aktuella forskningsområdena för denna utlysning
  • Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sådana finns
  • Dokumentation och beskrivning av andra relevanta erfarenheter och kompetenser

Ansökan 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. Ansökan ska göras via Umeå universitets e-rekryteringssystem och vara inkommen senast 2023-04-30. 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 universitetslektor Mantas Šimkus (simkus@cs.umu.se)

Välkommen med din ansökan!