Postdoc in System Security and Formal Methods
Kungliga Tekniska högskolan, Skolan för elektroteknik och datavetenskap
The position is supported by TrustFull, trustfull.proj.kth.se , a new project on fullstack security funded by the Swedish Foundation for Strategic Research SSF. TrustFull combines novel uses of software diversity and automated software repair with formal techniques at low level to develop new techniques for end-to-end security across the entire application stack from hardware to user level applications.
Within TrustFull we implement, model, and formally verify secure system components and build models and verification tools, mainly using semiautomated theorem proving in Higher Order Logic, HOL. The research group led by professor Mads Dam and assistant professor Roberto Guanciale combines deep interest in logic, mathematics, abstract modelling and formal proofs with a strong will to apply these methods to the design, development, testing, and verification of concrete system solutions. The project involves a wide variety of challenging tasks, including theory and methods, tool development, modeling and verification of critical hardware components (cpu s, gpu s and devices of different types), system software development and verification, prototype implementation, and software synthesis.
As part of TrustFull, there will be strong interactions with other researchers at the intersection of software engineering and software security. The postdoc will also have ample opportunity to contribute to student supervision at both PhD and MSc levels, and to assist in project development and grant applications.
The position is a full-time research position for one year with a possible one-year extension. The starting date is open for discussion, though ideally we would like the successful candidate to start as soon as possible.
Applicants must hold or be about to receive a doctoral degree in Computer Science (or equivalent). The doctoral degree must have been obtained within the last three years from the application deadline (some exceptions for special grounds, for instance sick leave and parental leave). The candidate should have a strong background from at least one of the areas of formal verification and system security.
Great emphasis will be placed on personal qualities and suitability.
Trade union representatives
You will find contact information to trade union representatives at KTH's webbpage .
Log into KTH's recruitment system in order to apply to this position. You are the main responsible to ensure that your application is complete according to the ad.
Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).
The application should contain the following:
1. CV including relevant professional experience and knowledge.
2. Copies of diplomas and grades from your previous university studies. Translations to English or Swedish if the original documents are not issued in one of these languages.
3. Brief explanation of why you want to conduct research, about your academic interests and how they relate to your previous studies and future goals; max 2 pages long.
4. Representative publications or technical reports: Document no more than 10 pages each. For longer documents (eg dissertations), attach a summary (abstract) and a web link to the full text.
5. One recommendation letter
6. Contact information for two reference persons. We reserve the right to contact references only for selected candidates.
Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.
For information about processing of personal data in the recruitment process please read here.
We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.
Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.
Type of employment: Temporary position longer than 6 months
Working hours: Full time
Salary: Monthly salary
Reference number: J-2019-1286
Last application date: 2019-06-19
Employer's other advertisements
ECONOMICS AND REGULATION OF GRIDS (WITH SPECIAL CONSIDERATION OF THE TECHNICAL REQUIREMENTS)
Vienna University of Technology - TU Wien Vienna
Head of Copernicus Contract Management
European Centre for Medium-Range Weather Forecasts - ECMWF United Kingdom
Postdoctroal Researcher (Forest soil science)
University of Eastern Finland - UEF Finland
Research Manager, Cell- and Tissue imaging
University of Eastern Finland - UEF Finland
PhD position in Plant Adaptation to Climate Change
University of Basel Basel