Doktorand i Datavetenskap
Lunds Universitet Institutionen för datavetenskap / Datajobb / Lund
2010-10-01
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i Datavetenskap" (publicerad 2011-12-20) ⬅️
Visa alla datajobb i Lund,
Lomma,
Staffanstorp,
Burlöv,
Kävlinge eller i
hela Sverige Visa alla jobb hos Lunds Universitet Institutionen för datavetenskap i Lund Publiceringsdatum2010-10-01Dina arbetsuppgifterDoktorandtjä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.orghttp://www.jmodelica.orghttp://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,
Arbetstider och omfattningVisstidsanställning 6 månader eller längre
Heltid
Projektanställning 5 år, heltid.
TillträdeSnarast
ErsättningFast lön
Ange gärna löneanspråk
Så ansöker duSista dag att ansöka är 2010-10-22
Ansök online! Ansökan sker via företagets webbplats.
Vid ansökan till läraranställningar skickas publikationer till: Registrator, Lunds universitet, Box 117, 221 00 LUND (leveransadress för paket: Lunds universitet, Registrator, Paradisgatan 5C, 223 50 LUND). Diarienummer ska anges i samband med handlingar som skickas via post.
Ansökan kan tyvärr inte göras via e-post.
KontaktGörel Hedin, Universitetslektor 046-222 96 44,
gorel.hedin@cs.lth.seFöretagLunds Universitet Institutionen för datavetenskap
AdressLunds Universitet Institutionen för datavetenskap
Box 117
22350 LUND
KontorsadressParadisgatan 5C
KontaktuppgifterTelefonnummer: 046-2220000
Jobbnummer 744539
Observera att sista ansökningsdag har passerat.