Forskare i inbyggda system - Uppsala universitet, Institutionen för informationsteknologi - Datajobb i Uppsala
Forskare i inbyggda system
Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.

Visa alla datajobb i Uppsala, Östhammar, Sigtuna, Österåker
Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala

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 46.000 studenter, 7.300 anställda och en omsättning på 7,3 miljarder kronor.



Institutionen för informationsteknologi bedriver forskning och utbildning i ett spektrum av områden inom datavetenskap och IT.

För mer information, se http://www.it.uu.se/.

Forskningsmiljö: Det finns flera forskargrupper vid Uppsala universitet (Wang Yi, Pontus Ekberg, Philipp Ruemmer, Bengt Jonsson, Parosh Abdulla) som är världsledande inom inbyggda och realtidssystem, och formell verifikation. Dessa grupper står bakom viktiga analysverktyg, såsom UPPAAL, grundläggande resultat i realtidssystem, tekniker och verktyg för modellering och verifiering samt en rad ytterligare resultat som fått stort genomslag. T.ex. har forskare erhållit ERC advanced grant, och "IEEE TCRTS (Outstanding Technical Achievement and Leadership, Technical Committee on Real-Time Systems) Award år 2019 (Wang Yi), och "CAV (Computer-Aided Verification) Award" såväl 2013 (Wang Yi) som 2017 (Parosh Abdulla and Bengt Jonsson), de främsta akademiska utmärkelse inom respektive område.

Arbetsuppgifter: Anställningen är fokuserad på forskning, projektledning och administration, men kan komma att innefatta viss undervisning och institutionstjänstgöring (max 20%). Utveckling av tekniker och mjukvaruverktyg för utveckling av pålitliga inbyggda system, särskilt nytt paradigm för att bygga nästa generations säkerhetskritiska inbyggda system som kan uppdateras efter implementering och effektiva och skalbara tekniker för run-time resurshantering och säkerhetsvalidering av dynamiska uppdateringar i fältet. Forskningsproblemen innefattar utformning och implementering av deterministiska multi-thread realtidssystem, multiprocessor schemaläggning, och verifiering av funktionell och icke-funktionell korrekthet och uppbyggnad av real-world uppdaterbara system.

Kvalifikationskrav: De sökande förväntas ha en doktorsexamen (eller motsvarande) inom datavetenskap eller liknande område. Utmärkta kunskaper i muntlig och skriftlig engelska är ett krav.

Bedömningsgrunder: Vid urval bland behöriga sökande kommer stor vikt att fästas vid vetenskaplig skicklighet relevant för projektet: design av inbyggda system och realtidssystem, och formella verifiering.

Publikationer som huvudförfattare i högt värderade tidskrifter och konferenser är en viktig merit. Särskilt stor vikt kommer också att fästas vid dokumenterade programmeringskunskaper. Dokumenterade erfarenheter av samarbete i grupp och organisatorisk förmåga är meriterande.

Bedömningen av ansökningarna baseras framförallt på den sökandes förmåga att bedriva självständig forskning grundad i vetenskaplig skicklighet. Större vikt fästs vid kvaliteten på enskilda vetenskapliga arbeten än på mängden publikationer.

Ansökan: Ansökan ska innehålla en detaljerad CV, en 1-sida forskningsdeklaration, betygshandlingar, en länk till doktorsavhandlingen och en motivering till att söka denna tjänst (med referenser med kontaktinformation).

Lön: Individuell lönesättning.

Tillträde: Snarast.

Anställningsform: Tidsbegränsad anställning t.o.m. 24 månader.

Anställningens omfattning: 50 %

Upplysningar om anställningen lämnas av: Prof Wang Yi: yi@it.uu.se.

Välkommen med din ansökan senast den 17 juli 2020, UFV-PA 2020/2696.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.

Ansökan tas emot i Uppsala universitets rekryteringssystem.

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

Publiceringsdatum
2020-07-02

Ersättning
Individuell lönesättning

Så ansöker du
Sista dag att ansöka är 2020-07-17
Klicka på denna länk för att göra din ansökan

Företag
Uppsala universitet, Institutionen för informationsteknologi

Jobbnummer
5284348

Observera att sista ansökningsdag har passerat.

Sökord


Prenumerera
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: