Doktorand i Datavetenskap

Arbetsuppgifter
Doktorandtjänsten är knuten till JastAdd-projektet inom gruppen Programvaruteknik vid Datavetenskap, LTH. JastAdd är ett objekt-orienterat deklarativt system för att implementera utvidgbara kompilatorer och andra verktyg. Det bygger på en formalism som kallas referensattributgrammatiker (RAGs). Exempel på större användningar av JastAdd är utvidgbara kompilatorer för språken Java och Modelica. Forskning pågår också för att utnyttja RAGs vid konstruktion av interaktiva programmeringsmiljöer.

För närvarande stöder RAGs bara text-baserade språk. Fokus för doktorandtjänsten kommer att ligga på att vidareutveckla RAGs för att stödja språk som även har en grafisk representation. Det är intressant att stödja såväl små domänspecifika språk som mer avancerade språk. Exempel kan vara tillståndsbaserade språk, olika UML-baserade språk, och Modelicas grafiska syntax.

Forskningen innebär typiskt att nya tekniker tas fram som analyseras, programmeras och testas på verkliga problem. Resultaten publiceras internationellt, och publikationerna sätts sedan samman till en avhandling.

Arbetet kommer att ske inom ramen för ELLIIT, som är ett strategiskt forskningssamarbete mellan LTH och Linköpings universitet, och mer specifikt i samarbete med JModelica-gruppen vid reglerteknik vid LTH och OpenModelica-gruppen vid datavetenskap i Linköping.

Några relevanta länkar:
http://jastadd.org
http://www.jmodelica.org
http://www.elliit.liu.se/?page=area4 (Se Projekt 4.2)

20% av arbetet är institutionstjänstgöring, vanligen i form av undervisning på grundkurser som ges vid institutionen.

Behörighet
För att bli antagen till utbildning på forskarnivå krävs att den sökande har grundläggande behörighet genom avlagd examen på avancerad nivå, med ett innehåll som är relevant för forskarutbildningsämnet (t.ex. civilingenjör i datateknik). Om examen inte hunnit bli klar vid ansökningstillfället skall planerad tidpunkt anges i ansökan.

Se vidare LTHs allmänna studieplan för datavetenskap: http://www.lth.se/forskning/forskarutbildning_lth/studieplaner/allmstudieplaner/?fid=13

Bedömningsgrund
Bestämmelser för anställning som doktorand återfinns i förordning SFS 1998:80. Som innehavare får enbart förordnas den som är antagen till utbildning på forskarnivå. Vid tillsättning skall avseende främst fästas vid graden av förmåga att tillgodogöra sig forskarutbildningen. Förutom skyldighet att ägna sig åt egen forskarutbildning kan innehavaren åläggas att fullgöra tjänstgöring som avser utbildning, forskning och administrativt arbete enligt särskilda bestämmelser i förordningen.

Önskvärd bakgrund för denna anställning är ett stort intresse för programmering och programmeringsspråk, mycket god programmeringsvana, samt mycket goda betyg. Exempel på önskvärda kunskaper är olika programmeringsspråk, kompilatorteknik, algoritmimplementering, agil metodik, samt objekt-orienterad modellering och design.

God förmåga till skriftlig och muntlig kommunikation, samt goda kunskaper i engelska är av stor vikt. Vana vid undervisning är också en merit.

Viktiga personliga egenskaper är kreativitet, målmedvetenhet, förmåga att lösa problem och tänka analytiskt, samt förmåga att arbeta såväl självständigt som i grupp.

Ansökan skall innehålla en beskrivning av den sökandes kvalifikationer och intressen. Den skall även innehålla ett CV,