Doktorand i Datalogi

På Linköpings universitet har vi för vana att tänka nytt. Att ständigt utmana oss själva har varit vår starkaste drivkraft sedan starten 1975. Om du också drivs av att söka svar bortom traditionerna och över ämnesgränserna erbjuder vi dig arbete på vårt universitet. Tillsammans kan vi hitta lösningar till samtidens utmaningar. Välkommen.

Institutionen för datavetenskap är en av de största datavetenskapliga institutionerna i norra Europa med över 200 anställda. Inom institutionen bedrivs grund- och forskarutbildning såväl inom civil- och högskoleingenjörsprogram som inom programmen för datavetenskap, kognitionsvetenskap, statistik, dataanalys och lärarutbildningen.

LINKÖPINGS UNIVERSITET
ledigförklarar två anställningar som
Doktorand i Datalogi
med placering vid Institutionen för datavetenskap

 

Laboratoriet för Realtidssystem (RTSLAB) är en av fyra forskningsenheter inom avdelningen för Programvara och System (SaS) vid institutionen. Inom labbet bedrivs forskning om distribuerade system där krav på säkerhet och pålitlighet förenas med resurseffektiva algoritmer. Labbet söker två starka doktorander för att bedriva forskning inom följande områden:

Safety and security in future avionic systems: Detta projekt påbörjas i samarbete med Saab (Aerosystems). Målet är att studera och ta fram tekniker för att utvärdera en ny avionik arkitektur alternativt bedöma inkrementella funktionsutökningar i befintlig arkitektur. Projektet fokuserar på metoder inom plattformsbaserad utveckling där uppifrån-design kombineras med nerifrån-utveckling med återanvändning av komponenter som lämpar sig för aktuella plattformsval. Det kommer att ha systemets predikterbarhet och lämplighet för certifiering inom framtida plattformar som huvudkriterier. Därmed finns beröringspunkter med ett annat doktorandprojekt där metoder för utveckling av mjukvara för flerkärniga processorer i säkerhetskritiska system studeras. Utmaningen är att få fram metoder som effektivt kartlägger systemets resurs- och tidsberoenden. Kandidater med stark bakgrund inom diskret matematik, logik, programvaruutvecklingsteori och modellbaserad utveckling uppmuntras speciellt att söka.

Distributed algorithms for resource-efficient embedded/mobile/social applications: Detta projekt behandlar de utmaningar som ställs av den ökande användningen av mobila och sociala nätverk såväl som globala sensornätverk där nya applikationer, plattformar och interaktioner gör systemnivåkrav såsom informationssäkerhet och energieffektivitet svåra att säkerställa. I dagens multi-användare och multi-sensortillämpningar kombineras inbyggda enheter med mänsklig interaktion i storskaliga nätverk där systemnivåbeteende är svårt att prediktera. Många av dagens infrastrukturer byggs för givna trafikprofiler och anpassningsbara system kräver nya tekniker för beteendeprediktering i tid och rum.

Arbetsuppgifter
Den som är anställd som doktorand skall främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, sådant arbete får, innan doktorsexamen har avlagts, inte omfatta mer än 20 procent av full arbetstid.

Behörighet
Behörig till anställning som doktorand är bara den som antas eller redan har antagits till forskarutbildning.

Särskild behörighet till utbildning på forskarnivå inom datavetenskap har den som avlagt examen på avancerad nivå inom datavetenskap/datateknik.

Förordnandetid
Den första anställningen får gälla ett år. Anställningen får förnyas med två år i taget. En person får vara anställd som doktorand under sammanlagt högst åtta år. Den sammanlagda anställningstiden får dock inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år. 

Tillträde
Avionik systemprojektet: 1 jan 2015, Distribuerade systemprojektet: snarast möjligt, enligt överenskommelse.

Lön
Regleras utifrån en för institutionen lokalt avtalad lönestege, för närvarande 26400 kr.

Fackliga kontaktpersoner
För kontakt med fackliga kontaktpersoner se www.liu.se/jobba/lediga-jobb/fackliga-kontaktpersoner 

Ansökningsförfarande
Se Ansökningsblankett och instruktioner. och klicka sedan på knappen "Ansök" nedan.

Din ansökan ska vara Linköpings universitet tillhanda senast 2014-08-20. Ansökan som inkommer efter sista ansökningsdag beaktas ej.

Lika villkor
Flertalet av våra doktorander inom IDA är män, därför ges kvinnor företräde vid tillsättning av denna anställning, vid i huvudsak lika meriter i övrigt.


Linköpings universitet ska fortsätta att utvecklas som en attraktiv och kreativ arbetsplats som präglas av lika villkor och arbetar därför aktivt för jämställdhet och mångfald.