Forskningsingenjör i Formella Metoder

Kungliga Tekniska högskolan, Skolan för industriell teknik och m / Maskiningenjörsjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska högskolan, Skolan för industriell teknik och m

Visa alla maskiningenjörsjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, Skolan för industriell teknik och m i Stockholm, Södertälje eller i hela Sverige

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.




Publiceringsdatum
2020-06-04

Dina 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.

Så ansöker du
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.

Övrig information
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.

Varaktighet, arbetstid
100%. Tillträde: Enligt överenskommelse Visstidsanställning

Ersättning
Månadslön

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

Företag
Kungliga Tekniska högskolan, Skolan för industriell teknik och m

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "M-2020-1118".

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Kungliga Tekniska Högskolan (org.nr 202100-3054)

Arbetsplats
Kungliga Tekniska högskolan, Skolan för industriell teknik och management

Jobbnummer
5251843

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska högskolan, Skolan för industriell teknik och m

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Kungliga Tekniska högskolan, Skolan för industriell teknik och m: