Doktorander (2)

It-Fakulteten / Datajobb / Göteborg
Observera att sista ansökningsdag har passerat.

Visa alla datajobb i Göteborg, Mölndal, Partille, Kungälv, Lerum eller i hela Sverige
Visa alla jobb hos It-Fakulteten i Göteborg

Institutionen för data- och informationsteknik vid Göteborgs universitet och Chalmers tekniska högskola utlyser två doktorandtjänster inom forskningsprojektet: Tillförlitlig flerspråkig digital kommunikation: metoder och tillämpningar (REMU), finansierat av Vetenskapsrådet.

Institutionen för data- och informationsteknik är en stark, internationell och dynamisk forskningsmiljö med cirka 70 lärare och 70 doktorander från cirka 30 länder. Doktorandtjänsterna är gemensamma för två forskargrupper: språkteknologi och formella metoder. Handledarna kommer att vara professorer från dessa grupper: Aarne Ranta (REMU huvudansvarig), Koen Claessen och Gerardo Schneider.

REMU bygger på forskargruppernas unika gemensamma kompetens inom språkteknologi, formella metoder och funktionell programmering. Målet i REMU är att utveckla metoder för högkvalitativ maskinöversättning, formell verifiering, resonemang och informationssökning av viktiga dokument såsom avtal och lagtexter. Med hjälp av formaliserade interlingua-baserade representationer (abtraxta syntax) kommer REMU att bygga tillämpningar i flera parallella språk. Forskningsproblemen sträcker sig från grundläggande språkteoretiska frågor (t ex upptäckandet av tvetydighet) till skapandet av fungerande mjukvara (t ex en editor som hjälper användare att bygga flerspråkiga webbsidor). Mitt emellan dessa innefattar REMU ämnen såsom grammatikskrivande, teorembevisning, testmetode av programvara, och logisk modellering. REMU bygger på verktyg som har tidigare utvecklats på institutionen och kommer också att utveckla dem vidare: grammatikformalismen GF, testverktyget QuickCheck, teorembevisaren Equinox, kontraktverktyget AnaCon. Doktorandanställningarna är öppna för studenter med magisterexamen i datavetenskap, datalingvistik, eller ett näraliggande område. Ämnet för doktorsavhandlingen kommer att väljas på individuell basis bland de uppgifter som ingår i REMUs forskningsplan.

Anställningarna är på fem år, med start mellan den 1 juni och den
31 december 2013, i överenskommelse med doktoranden. Innehavaren kommer att arbeta 20% av sin tid i undervisning och annan institutionstjänstgöring. Doktorander får en regelbunden heltidslön med sociala förmåner.

Grundläggande behörighet till utbildning på forskarnivå har den som har: avlagt examen på avancerad nivå, fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller på något annat sätt inom eller utom landet förvärvat i huvudsak motsvarande kunskaper.

Sökande måste ha tagit en mastersexamen innan anställningen kan börja. Men vid tiden för ansökan är det tillräckligt att ha en realistisk plan som leder till examen, så att arbetet kan börja före slutet av 2013.

Följande kvalifikationer, som bör redovisas som en del av ansökan, kommer att användas för att bedöma kandidaterna:
• masters-uppsats (åtminstone i utkast) i ett område relaterat till REMU
• publikationer, i ett område som är relevant för REMU
• kunskaper i programmering, i synnerhet funktionell programmering (Haskell)
• matematiska färdigheter, i synnerhet logik, formella språk och statistik
• omfattande språkkunskaper och/eller kunskap om lingvistik
• arbetserfarenhet från krävande mjukvaruprojekt
• rekommendationer från masters-handledare och/eller andra personer i områden relaterade till REMU

Se http://www.gu.se/omuniversitetet/aktuellt/ledigaanstallningar/?id=19144&Dnr =537224&Type=S

Publiceringsdatum
2013-04-18

Arbetstider och omfattning
Visstidsanställning 6 månader eller längre
Heltid
Fyra årig doktorandanställning

Ersättning
Fast lön

Så ansöker du
Sista dag att ansöka är 2013-05-13
Klicka på denna länk för att göra din ansökan
Ange följande referens när du ansöker: UR 2013/259
Ansökan kan tyvärr inte göras via e-post.

Kontakt
Aarne Ranta, Professor 772 1082 aarne@chalmers.se

Företag
IT-FAKULTETEN

Adress
IT-FAKULTETEN
41296 GÖTEBORG

Kontorsadress
Rännvägen 6
GÖTEBORG

Övriga kontaktuppgifter
Telefonnummer: 031-7723523
E-postadress: abk@ituniv.se

Jobbnummer
1526286

Observera att sista ansökningsdag har passerat.

Doktorander (2)

Prenumerera på jobb från It-Fakulteten