Forskningsingenjör i Formella Metoder

KTH är ett av Europas ledande tekniska universitet och en viktig arena för kunskapsutveckling. Som Sveriges största universitet för teknisk forskning och utbildning samlar vi studenter, forskare och fakultet från hela världen. Vår forskning och utbildning omfattar såväl naturvetenskap som alla grenar inom teknik samt arkitektur, industriell ekonomi, samhällsplanering, historia och filosofi.




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å https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898. 


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 https://www.kth.se/om/work-at-kth/processing-of-personal-data-in-the-recruitment-process-1.823440.

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