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 aktuella platsannonsen "Postdoktor inom automatiserad Grundlig Analys av Maskinkod i Program" (sökbar t.o.m. 2024-07-31) ⬅️
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 Publiceringsdatum2023-11-22Dina arbetsuppgifterVi 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.49050KvalifikationerKvalifikationer - 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 duDu 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 informationTjä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.