Postdoktor inom programvarusäkerhet

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.




Arbetsuppgifter
Forskargruppen LangSec (Language-Based Security) vid KTH rekryterar en postdoc inom programvarusäkerhet.

Den utvalda kandidaten kommer att bidra till pågående forskning i gruppen med huvudfokus på InferViz, ett projekt om automatiserad programanalys med syfte att förbättra säkerhet, finansierat av Facebook Research. Projektet leds av följande forskargrupp från KTH och IMDEA Software:

- Musard Balliu, musard@kth.se
- Marco Guarnieri, marco.guarnieri@imdea.org 

InferViz syftar till att kombinera programvaruteknik i stor skala med PL och formella metoder för att identifiera och visualisera osäkra kodvägar i applikationer. Målet med projektet är att utveckla tekniker och verktygsstöd för (1) att beroenden mellan olika delar av kod ; (2) kontrollera att dessa beroenden uppfyller säkerhetspolicyer; och (3) hjälpa utvecklare att visualisera osäkra flöden som bryter mot policyn. Möjligheterna för samarbeten inom akademin och industrin, samt att påverka arbetets inriktning är mycket goda.

Tjänsten erbjuder anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid, med 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
Kandidaten vi söker ska visa en hög grad av vetenskaplig skicklighet inom något, gärna flera, av de områden som rör tjänsten: programvarusäkerhet, programvaruteknik, programmeringsspråk, formella metoder.
Du har god samarbetsförmåga, men kan även arbeta självständigt.
Pedagogisk förmåga, såväl som medvetenhet om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet är meriterande.

Krav

- Avlagd doktorsexamen eller utländsk examen som bedöms motsvara en doktorsexamen, och som har avlagts högst tre år före ansökningstidens utgång (med vissa undantag för särskilda skäl såsom perioder av sjuk- eller föräldraledighet, vänlige ange om sådant skäl föreligger i ditt CV).



Vi kommer att lägga stor vikt vid personliga egenskaper, samarbetsförmåga och självständighet.

Fackliga representanter
Du hittar kontaktuppgifter till fackliga representanter på https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898.

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 innehålla: 

- CV inklusive relevant yrkeserfarenhet och kunskap.
- Kopia av examensbevis och betyg från dina tidigare universitetsstudier. Översättningar till engelska eller svenska om de ursprungliga dokumenten inte utfärdas på något av dessa språk.
- Kortfattad redogörelse för varför du vill bedriva forskning, dina akademiska intressen och hur de relaterar till dina tidigare studier och framtida mål. max 2 sidor lång.
- Representativa publikationer och tekniska rapporter. Högst 10 sidor eller abstract med länk till dokument.
- Namn och kontaktinformation för två referenser. Vi förbehåller oss rätten att endast inhämta referenser för utvalda kandidater.

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