Denna annons är inte tillgänglig!
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:
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ö.
Läs mer om hur det är att arbeta på KTH.
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.
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 innehålla:
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.
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 | 1 januari 2022 eller tidigare enligt överenskommelse |
Löneform | Månadslön |
Antal lediga befattningar | 1 |
Sysselsättningsgrad | 100% |
Ort | Stockholm |
Län | Stockholms län |
Land | Sverige |
Referensnummer | J-2021-2532 |
Kontakt |
|
Publicerat | 2021-10-14 |
Sista ansökningsdag | 2021-11-01 |