Postdoc in model-driven analysis of cyber-security of critical  
infrastructures at KTH -- Royal Institute of Technology, Sweden

Department of Computer Science of Electrical Engineering and Computer  
Science School (EECS) is looking for a strong candidate for a  
postdoctoral position in model-driven analysis of cyber-security of  
critical infrastructures in the railway domain.

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.

The deadline for the application is May 15th, 2019.

More information and the link to the recruitment system can be found here:

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:263205/where:4/

########################################################################

To unsubscribe from the ZFORUM list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=ZFORUM&A=1