Denna annons är inte tillgänglig!
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.
Läs mer om hur det är att arbeta på KTH.
Krav
Meriterande
Vi kommer att lägga stor vikt vid personliga egenskaper.
Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida.
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).
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.
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.
Anställningsform | Tidsbegränsad anställning |
---|---|
Anställningens omfattning | Heltid |
Tillträde | According to agreement |
Löneform | Monthly salary |
Antal lediga befattningar | 1 |
Sysselsättningsgrad | 100% |
Ort | Stockholm |
Län | Stockholms län |
Land | Sverige |
Referensnummer | J-2023-3042 |
Kontakt |
|
Publicerat | 2023-11-22 |
Sista ansökningsdag | 2024-01-12 23:59:59 |