Postdoc in Model-driven analysis of critical infrastructure cyber-security - Hiring in process/Finished, not possible to apply

The Division of Network and Systems Engineering (NSE) conducts research and provides education and service to society on key aspects of networked systems. The primary research focus is on system design, architecture, and management; system security and privacy; enterprise IT modeling and computing; project and technology management. The core methods for conducting the research are stochastic modeling, queuing theory; game theory, optimization; distributed systems, data analysis and machine learning; software design, prototyping, and experimentation.

The division is a part of the Department of Computer Science at the School of Electrical Engineering and Computer Science.

Job description
As a member of the research team, you will be involved in research work in the area of cyber-security modelling for networked systems.  The main activities will be centered around developing and applying model-driven and formal techniques for specifying and verifying cyber-security properties of safety-critical networked systems. You will contribute to scientific publications, to defining guidelines for vulnerability analysis and threat mitigation, and you will be involved in prototyping proposed solutions. The work is part of a major European undertaking in the area of railway signaling and security, and provides ample opportunities for collaboration with world-leading railway equipment manufacturers, as well as with leading academic institutions. The position is for one year, with the possibility for an extension for another year subject to the availability of funding.

Qualifications
Applicants for this position must hold a doctoral degree in Computer Science, Electrical Engineering or Computer Engineering obtained within the last three years from the application deadline (some exceptions for special grounds, for instance sick leave and parental leave). You should also have a solid background in model-driven or formal techniques, security engineering, very good spoken and written English as well as good programming and modelling skills.

We are seeking a highly motivated candidate with a willingness to experiment and explore, participate in supervising master students and contribute to the development of industry-relevant ideas. The candidate should have strong publication record and good software engineering skills. 

Great emphasis will be placed on personal competence and suitability.

Trade union representatives
You will find contact information to trade union representatives at KTH's webbpage.

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

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