Postdoktor inom automatiserad Grundlig Analys av Maskinkod i Program

Kungliga Tekniska Högskolan / Datajobb / Stockholm
2023-11-22
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Postdoktor inom automatiserad Grundlig Analys av Maskinkod i Program" (publicerad 2024-04-19) ⬅️


Visa alla datajobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska Högskolan i Stockholm, Solna, Huddinge, Sollentuna, Södertälje eller i hela Sverige

Publiceringsdatum
2023-11-22

Dina arbetsuppgifter
Vi erbjuder en tjänst som postdoktorand vid Divisionen för nätverk och systemteknik, under ledning av biträdande professor Hamed Nemati och universitetslektor Roberto Guanciale.

Denna roll är en unik möjlighet att bidra till banbrytande forskning inom binär verifiering med fokus på programvarusystem för RISC-V-processorer. I detta projekt kommer du att spela en avgörande roll i att främja HolBA:s binära analysramverk. Ditt arbete kommer att innebära att utvidga HolBA:s förmågor för att omfatta RISC-V-arkitekturen med målet att överbrygga klyftan mellan högnivåprogramvarudesign och maskinkodsexekvering. Du kommer att ha möjlighet att utveckla innovativa tekniker för att automatisera verifieringsuppgifter och därigenom säkerställa säkerhet och korrekthet för kritiska programvarusystem.

Vi söker kandidater med en stark bakgrund inom formella metoder, programanalys och systemssäkerhet, som drivs av utmaningarna inom programvarusäkerhet och har en passion för att utmana gränserna inom binär verifiering. Denna position erbjuder inte bara möjligheten att arbeta på den absoluta spetsen av programvaruverifiering, utan också att samarbeta med ledande experter inom området och bidra till ett projekt med betydande realvärldspåverkan. Om du är angelägen om att forma framtiden för binär verifiering och göra en betydande insats för att säkerställa säkerheten för programvarusystem uppmuntrar vi dig att ansöka om denna dynamiska och givande roll.

Vi erbjuder
- En anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid
- Engagerade och ambitiösa kollegor samt en kreativ, internationell och dynamisk miljö

https://www.kth.se/om/work-at-kth/kth-your-future-workplace-1.49050

Kvalifikationer
Kvalifikationer
- Avlagd doktorsexamen eller utländsk examen som bedöms motsvara en doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas.
- Forskningskompetens
- En doktorsexamen i datavetenskap eller ett relevant ämne är ett krav.
- Vi söker en kandidat med en stark bakgrund inom ett eller flera av de områden som nämns i jobbannonsen.

Meriterande

- Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades.
- Medvetenhet om mångfalds- och likabehandlingsfrågor, med särskild fokus på jämställdhet mellan könen
- Du är duktig på att samarbeta tillsammans med andra
- Som person är du självständig i ditt arbete
- Den framgångsrika sökanden bör vara starkt motiverad, ha förmåga att arbeta självständigt samt i samarbete med medlemmar i forskningsgruppen och besitta goda kommunikationsfärdigheter

Vi kommer att lägga stor vikt vid personliga egenskaper.

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.

Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time).

Om anställningen
Anställningen gäller tillsvidare, dock längst två år.

En anställning som postdoktor är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation.

Övrig information
Tjänsten kan omfatta säkerhetskänslig verksamhet. För att bli behörig behöver du därför klara en säkerhetsprövning.

Strävan efter jämställdhet, mångfald och lika villkor ä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.

Om KTH

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. https://www.kth.se/om/om-kth-1.885102

Ersättning
Monthly salary

Så ansöker du
Sista dag att ansöka är 2023-12-10
Klicka på denna länk för att göra din ansökan

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "J-2023-3042".

Omfattning
Detta är ett heltidsjobb.

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

Arbetsplats
Skolan för elektroteknik och datavetenskap vid KTH

Kontakt
Lilly Engfeldt, HR
lillye@kth.se

Jobbnummer
8279754

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska Högskolan

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Kungliga Tekniska Högskolan: