Doktorand inom programanalys med hjälp av maskininlärning

Uppsala universitet, Institutionen för informationsteknologi / Administratörsjobb (offentlig verksamhet) / Uppsala
Observera att sista ansökningsdag har passerat.

Visa alla administratörsjobb (offentlig verksamhet) i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala, Gotland eller i hela Sverige

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Uppgiften är att bedriva forskning och utbildning av högsta kvalitet och att på olika sätt samverka med samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har 42.000 studenter, 7.000 anställda och en omsättning på 6,7 miljarder kronor.

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer.

Institutionen har i dag ca 280 anställda varav 120 lärare och 110 doktorander. Drygt 4000 studenter lser en eller flera kurser vid institutionen varje år och ett 30-tal forskargrupper är kopplade hit. Mer info: http://www.it.uu.se

Arbetsuppgifter/projektbeskrivning: Det har blivit oerhört viktigt för dagens samhälle och industri att säkerställa kvaliteten av datorernas programvara, speciellt genom att hitta metoder och bygga verktyg som kan reducera sannolikheten att program innehåller buggar. Målet med doktorandtjänsten är att förbättra eller ersätta klassiska metoder inom programanalys med hjälp av maskininlärning och djupinlärning. Metoder som kan betraktas är "model checking", dvs algoritmer som kan bevisa automatiskt att ett program är felfri, och "defect prediction", dvs tekniker som kan uppskatta sannolikheten att programdelar innehåller buggar. Forskningen motiveras av de stora framstegen inom maskininlärning, som numera möjliggör tillämpningen
även inom områden såsom formella metoder och systemutveckling.

Beskrivning av projekt: Forskningen kommer att ske inom ramen för ett samarbete mellan Uppsala Universitet och Microsoft Research Cambridge. Doktoranden kommer att ha möjlighet att samarbeta med flera världsledande grupper på båda forskningsinstitut: Inbyggda System och Algoritmisk Programverifiering på Uppsala Universitet, och grupperna "Confidential Computing" och "Machine Intelligence & Perception" på Microsoft Research. Doktorandtjänsten finansieras delvis av ett Microsoft Research stipendium, och innehåller förmåner såsom sommarskolor hos Microsoft Research Cambridge.

Microsoft Research är en av de största och mest respekterade forskningsorganisationer inom mjukvara. Microsoft Research Cambridge skapades i juli 1997, och har idag fler än 130 forskare, huvudsakligen från Europeiska länder. Mer information.

Kvalifikationskrav: Den sökande ska ha en masterexamen inom datavetenskap eller
närliggande, för ämnet relevanta, områden. Goda programmeringskunskaper och expertis inom ämnen såsom maskininlärning, formella metoder, och kompilatorteknik krävs. Excellenta kunskaper i muntlig och skriftlig engelska är ett krav.

Anställningen är upp till fem år och omfattar institutionstjänstgöring på en nivå av högst 20% (vanligtvis undervisning) samt kursstudier. Du förväntas kunna undervisa på svenska eller engelska.

Ansökningsförfarande: Ansökan ska innehålla en beskrivning (max 3 sidor) av forskningsintressen och relevanta kvalifikationer för anställningen. Ansökan ska också innehålla en meritförteckning (CV), kopia på relevanta betygshandlingar (översatta till svenska eller engelska), en kopia av examensarbetet (åtminstone ett utkast), kopia på alla publikationer och beskrivning av kandidatens specifika bidrag, samt ev. andra relevanta dokument.
Dessutom ska sökanden tillhandahålla max. 3 rekommendationsbrev och kontaktinformation till referenspersoner samt ange tidigast möjliga anställningsdatum.

Ansökningar kan endast accepteras via webbgränssnittet nedan (och inte via e-post). Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§1-7 samt i universitetets regler och riktlinjer http://regler.uu.se/.

Uppsala universitet värdesätter de kvaliteter som jämn könsfördelning och mångfald tillför verksamheten. Vi ser därför gärna sökande av alla kön och med olika födelsebakgrund, funktionalitet och livserfarenhet.

Lön: Enligt lokalt avtal (Lokalt kollektivavtal för doktorander och amanuenser).

Tillträde: Snarast, tidsbegränsad anställning.

Anställningens omfattning: 100 %

Upplysningar om anställningen lämnas av
Dr. Philipp Rümmer, philipp.ruemmer@it.uu.se, and Dr. Marc Brockschmidt, mabrocks@microsoft.com.

Välkommen med din ansökan senast den 30 april 2018, UFV-PA 2018/924.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp. Ansökan tas emot i Uppsala universitets rekryteringssystem.

Varaktighet, arbetstid
100 % Visstidsanställning

Publiceringsdatum
2018-03-14

Ersättning
Fast lön

Så ansöker du
Sista dag att ansöka är 2018-04-30
Ange följande referens när du ansöker: UFV-PA 2018/924
Klicka på denna länk för att göra din ansökan

Företag
Uppsala universitet, Institutionen för informationsteknologi

Adress
Uppsala universitet, Institutionen för informationsteknologi
box 256
75200 Uppsala

Kontorsadress
box 256

Jobbnummer
4021439

Observera att sista ansökningsdag har passerat.

Doktorand inom programanalys med hjälp av maskininlärning

Prenumerera på jobb från Uppsala universitet, Institutionen för informationsteknologi