Postdoktor inom automatiserad Grundlig Analys av Maskinkod i Program - Under tillsättning eller tillsatt, ej sökbar

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ö

Läs mer om hur det är att arbeta på KTH.

Kvalifikationer

Krav

• 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å 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.

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.

Övrigt

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.