Forskningsingenjör i Formella Metoder - Under tillsättning eller tillsatt, ej sökbar

Arbetsuppgifter

Tjänsten ingår i Vinnova-projektet AVerT. Syftet med projektet är att öka användningen av formella metoder för specifikation och verifiering av system inom fordonsindustrin. Målet är att utveckla ett ramverk och verktygskedja för formell specifikation och automatiserad verifiering av inbyggda system. Projektet koordineras av Scania, och allt arbete sker i samarbete mellan Scania och KTH.

Tjänsten innefattar arbete med: utveckling av verktyget SMP-tool för analys av semi-Markov modeller, utvärdering av existerande metoder för analys av stokastiska modeller, utveckling av ett Eclipse-baserat ramverk för compositional verification, applikationsstudier där utvecklade verktyg och metoder tillämpas och utvärderas på exempel från Scania, delta i skrivandet av vetenskapliga rapporter och artiklar, framtagning av demos, viss del administration såsom projektrapportering. Allt arbete sker i nära samarbete med seniora forskare och doktorander inom projektet.  

En del av arbetet kan komma att utföras på Scania i Södertälje, dock max 50%.

Kvalifikationer

Civilingenjör med inriktning tillämpad matematik eller motsvarande
Erfarenhet från modellering med stokastika processer.

Meriterande kunskaper och erfarenheter

Utbildning i programmeringsteknik.
Erfarenhet från industriell utveckling av inbyggda system.

Vi kommer lägga stor vikt vid personliga egenskaper som:

• Stark analytisk förmåga
• God samarbetsförmåga
• Färdigheter i att agera självständigt
• Muntlig och skriftlig kommunikation

Fackliga representanter

Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida. 

Ansökan

Du ansöker via KTH:s rekryteringssystem. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in. Din kompletta ansökan ska vara KTH tillhanda senast sista dagen för ansökningsperioden.

Tidsbegränsad anställning till 2022-06-30, med tillträde enligt överenskommelse.

Övrigt

Jämställdhet, mångfald och avståndstagande från alla former av diskriminering är både en kvalitetsfråga och en självklar del av KTH:s värdegrund.

För information om behandling av personuppgifter i samband med rekrytering läs mer här.

Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.