Doktorand i modellkompilering

Mälardalens universitet (MDU) växer och utvecklas i samband med att vi blev universitet 1 januari 2022. Ta chansen att vara med på vår spännande utvecklingsresa. Med MDU:s vision, att vara ett progressivt och samverkande universitet där vi tillsammans formar en hållbar framtid, kan du göra skillnad. Tillsammans bidrar vi till en mer hållbar framtid genom kunskap och innovation. Vi anser att ny kunskap och nya perspektiv bäst skapas och uppnås i samverkan med andra - kollegor, studenter, näringsliv och offentlig sektor såväl nationellt som internationellt.

Hos oss läser närmare 20 000 studenter kurser och program inom design och kommunikation, ekonomi, hälsa, teknik och skola samt kammarmusik och opera. Vår forskning bedrivs inom alla utbildningsområden och är internationellt framstående inom framtidens energi och inbyggda system. MDU finns i den expansiva tillväxtregionen Mälardalen med campus i Eskilstuna och Västerås.

På akademin för innovation, design och teknik läser våra studenter bland annat till datavetare, innovatörer, entreprenörer, illustratörer, kommunikatörer, nätverkstekniker och ingenjörer. Hos oss finns forskningsinriktningarna inbyggda system och innovation och produktrealisering. Vi har ett stort antal internationella samarbeten både inom forskning och utbildning, samt i samverkan och i strategiska avtal med företag, organisationer och myndigheter i regionen.Anställningsinformation
Anställningsform: Tidsbegränsad anställning
Omfattning: Heltid
Sista ansökningsdag: 2023-01-15
Stationeringsort: Västerås
Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT)

Arbetsuppgifter
I VR-projektet ORPHEUS ska vi undersöka om vi kan generera maskinkod med högre kvalitet än de vanliga teknikerna gör. Vår hypotes är att vi kan få högre kvalitet och förutsägbarhet genom att direkt generera så kallad mellankod i stället för att generera kod för ett programmeringsspråk. Programmeringsspråken är typiskt designade för att vara lättanvända för programmerare, men inte nödvändigtvis lämpliga för att automatgenerera kod. Ett problem med att generera programkod är att mycket information i modellerna går förlorad när programkoden genereras. Detta leder till att det blir svårt att generera högkvalitativ så kallad mellankod. Mellankoden används i kompilatorer när de översätter programkod till maskinkod. Maskinkoden är det som slutligen körs i datorerna och dess kvalitet är direkt beroende av kvaliteten hos mellankoden.

Doktoranden ska jobba i alla delar av ORPHEUS under handledningen av seniora forskare i ORPHEUS forskarteam.

Kvalifikationer
Bara den som ska antas eller redan har antagits till en forskarutbildning vid en högskola får anställas som doktorand. I övrigt hänvisas till Högskoleförordningen 5 kap (SFS 1993:100).

Den sökande skall erhålla en magisterexamen (240 ECTS) i datavetenskap, datateknik, programvaruteknik eller motsvarande.

Den sökande förväntas ha kunskaper och färdigheter inom teoretisk och praktisk programvaruteknik (minst 60 ECTS inom programmering, programmeringsspråk och programvaruteknik).

Anställningen kräver en stark motivation för forskning, goda muntliga och skriftliga kommunikationsförmågor på engelska och en självständig attityd.

Avgörande vikt läggs vid personlig lämplighet. Vi värdesätter de kvaliteter som en jämn ålders- och könsfördelning samt etnisk och kulturell mångfald tillför verksamheten.

Meriterande
Kunskaper inom programanalys och programtransformation/kompilering är särskilt meriterande.

Ansökan
Gör din ansökan genom att klicka på knappen ”Ansök” nedan.

Den sökande ansvarar för att ansökan är komplett i enlighet med annonsen och universitetet tillhanda senast sista ansökningsdag.

Välkommen med din ansökan!

 

Vi undanber oss all kontakt med försäljare av annonser. Vi har gjort våra strategiska val för denna rekrytering.

Fackliga representanter:

Michaël Le Duc (SACO), tel: 021-10 14 02 
Susanne Meijer (OFR), tel: 021-10 14 89