Postdoc in Computer Science, System Dependability and Security

Linköping University

Hereby advertises up to two positions as Postdoc in Computer Science, System Dependability and Security formally based at the Department of Computer and Information Science

Duties
A Postdoc will essentially carry out research. The position may also involve teaching, but during no more than a fifth of work time.

One postdoc is expected to contribute to projects within system safety for avionic systems, specifically tools and methods for early design modelling of applications and platform modelling for analysis of performance, timing, measures for fault management, and impact on safety or security. The architectures in question may include platforms not currently in use in the domain (e.g. multicore and forthcoming architectures). The work will be performed in collaboration with SAAB in the context of the national avionic research program (and includes international collaboration e.g. with Brazilian partners). Candidates with strong background in computer science within formal verification (both deterministic and stochastic), tool support for model-based development and dependability analysis are encouraged to apply.

One postdoc is expected to contribute to projects within dependability for critical infrastructures, also referred to as industrial control systems (ICS), and will be within the national centre for research on Resilient Information and Control Systems (www.rics.se).  The work will result in creation of methods that increase dependability of systems that serve societal-critical functions, including identifying vulnerabilities, and devising new protection mechanisms within SCADA systems for supervision and control of critical infrastructure. The topic will encompass both security and safety issues. In addition, the systems have domain-dependent timing requirements and use network protocols for distributed sensors and local controllers (both standard and domain-specific). Candidates with a strong background in computer science within model-based risk analysis, real-time anomaly detection and benchmark development for emulating dataflows within ICS are encouraged to apply.

Qualifications
The position requires a doctorate or an equivalent degree from a foreign university. The doctorate shall have been obtained no longer than three years before the expiration date of the application.

Earlier publications in first class journals and highly-competitive conferences in areas relevant to the work is considered a merit. Applicants with earlier experience in model-based analysis tools for UML-MARTE, AADL, or related areas are prioritized for the avionic-related position. For the critical infrastructure position, earlier experience in tool development and network analysis for SCADA-specific protocols are prioritised. 

For both positions the meetings with the industrial collaborators will be in Swedish for the most part and working knowledge of Swedish language for collaboration with the stakeholders is beneficial. The research associate is expected to be able to contribute to project administration and is given the opportunity to cooperate with PhD students in the area. 

Grounds for assessment
Earlier publications in first class journals and highly-competitive conferences in areas relevant to the work is considered a merit. Applicants with earlier experience in model-based analysis tools for UML-MARTE, AADL, or related areas are prioritized for the avionic-related position. For the critical infrastructure position, earlier experience in tool development and network analysis for SCADA-specific protocols are prioritised. 

For both positions the meetings with the industrial collaborators will be in Swedish for the most part and working knowledge of Swedish language for collaboration with the stakeholders is beneficial. The research associate is expected to be able to contribute to project administration and is given the opportunity to cooperate with PhD students in the area. 

Union representatives
For contact with union representatives see http://old.liu.se/jobba/lediga-jobb/fackliga-kontaktpersoner?l=en&sc=true  

Equal Opportunities
A majority of our postdocs within the department are men, which is why precedence will be given to women in cases where qualifications are deemed otherwise equivalent.

For more information
http://www.liu.se/jobba/lediga-jobb?l=en&&rmpage=job&rmjob=5258&rmlang=UK]


Linköping University will continue to develop as an attractive and creative place of work, characterized by equal terms and actively works for equality and diversity.

We look forward to receiving your application!

Linköping university has framework agreements and wishes to decline direct contacts from staffing- and recruitment companies as well as from vendors of job advertisements.