Forskare inom Capability-baserade programspråk

Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Uppsala universitet, Institutionen för informationsteknologi

Visa alla datajobb 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 40 000 studenter, 7 000 anställda och en omsättning på 6,5 miljarder kronor.



Institutionen för informationsteknologi söker en driven forskare som är intresserad av att bedriva högklassig forskning inom området programspråksdesign och -implementation.

Actor-baserade programspråk tillhandahåller en modell för parallellism som skiljer sig från dagens mainstream-språk genom att utlova tillgång till all den kraft som moderna multicore-datorer har att erbjuda. Capability-baserade system kompletterar actor-språk genom att förhindra kapplöpningsproblem och tillåta säker delning av data mellan trådar.

Programspråksgruppen vid Uppsala universitet undersöker hur capability-system kan användas för det actor-baserade programspråket Encore. Målet med det här projektet är att vidareutveckla uttrycksfullheten hos capability-system och utnyttja de invarianter som ges av dessa för att förbättra koden som Encores kompilator genererar, till exempel genom att optimera hur data placeras i minnet, undvika onödig låsning, etc.

Forskningen kommer att valideras genom att undersöka de framtagna programspråksutökningarna i en fallstudie.

Arbetsuppgifter: Forskning inom området programspråksdesign och -implementation. Institutionstjänstgöring såsom undervisning ingår dock inte.

Kvalifikationskrav: Den sökande ska ha en doktorsexamen (eller motsvarande) inom datavetenskap, helst med en stark bakgrund inom programspråksdesign och -implementation, särskilt av actor-baserade programspråk och capability-system.

Utmärkta kunskaper i muntlig och skriftlig engelska är ett krav.

Önskvärt/meriterande i övrigt: Erfarenhet inom formell semantik och mekaniserade bevis är ett plus.

Ansökan: Din ansökan ska innehålla en beskrivning av dig själv och dina forskningsintressen, orsaken till att du söker just den här tjänsten, samt din tidigare erfarenhet. Inkludera även ditt CV, kopior på relevanta universitetsexamina och betygsutdrag, relevanta publikationer, en kopia av din doktorsavhandling och andra relevanta dokument. Kandidater uppmanas att skicka in upp till tre rekommendationsbrev och kontaktinformation till referenser. Vi skulle också vilja veta när du tidigast kan börja.

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: Individuell lönesättning tillämpas.

Tillträde: Snarast.

Anställningsform: Tidsbegränsad anställning, max 6 månader.

Anställningens omfattning: 100 %

Upplysningar om anställningen lämnas av
Dave Clarke, dave.clarke@it.uu.se, tel. 018-471 40 32.

Välkommen med din ansökan senast den 12 februari 2018, UFV-PA 2018/138.

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

Varaktighet, arbetstid
100%. Tillträde: Snarast Visstidsanställning till

Publiceringsdatum
2018-01-29

Ersättning
Fast Lön

Så ansöker du
Sista dag att ansöka är 2018-02-12
Ange följande referens när du ansöker: UFV-PA 2018/138
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
3928964

Observera att sista ansökningsdag har passerat.

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

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Uppsala universitet, Institutionen för informationsteknologi: