Postdoc in Testing of Software-Defined Networks Royal Institute of Technology School of Electrical Engineering and Computer Science

Postdoc Position in Testing of Software-Defined Networks Login and apply School of Electrical Engineering and Computer Science at KTH KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy. Job description Industrial robots usually operate within a "safety cage" to ensure that workers are not harmed by a robot in operation. We also need the same type of security, which is simple and explainable, for networks. Novel mechanisms that can be embedded in the network through hardware-accelerated programmable networks or kernel extensions are the enabling technology for this type of security at the network level. However, current security architectures are not built for this. We propose a solution using machine learning and test generation, leveraging the expertise in explainable machine learning and networking from UIUC and in testing and verification from KTH. This project, called "Cyber safety cage", will combine different disciplines to apply the idea of a safety cage to the network layer. KTH and UIUC will collaborate closely in this project. At KTH, test case generation will validate diverse traces against the model and also showcase potential malicious behavior, validating both positive and negative outcomes. The project is led by the following research team: - Prof. Cyrille Artho (KTH) - Prof. Roberto Guanciale (KTH) - Prof. Reyhan Jabbarvand (UIUC) - Brighten Godfrey (UIUC) What we offer A position at a leading technical university that generates knowledge and skills for a sustainable future. Engaged and ambitious colleagues along with a creative, international and dynamic working environment. Work in Stockholm, in close proximity to nature. Opportunities to transfer your research results from the first year to innovations at Ericsson and Saab, two world-leading companies in telecommunication and security. Help to relocate and be settled in Sweden and at KTH Read more about what it is like to work at KTH Qualifications Requirements A doctoral degree or an equivalent foreign degree, This eligibility requirement must be met no later than the time the employment decision is made. Research expertise Pedagogical ability Awareness of diversity and equal opportunity issues, with specific focus on gender equality Collaborative abilities Independence The candidate must exhibit a high degree of scientific skills within one or, preferably more, of the research areas concerned: Model driven testing, Formal methods, or Runtime monitoring. As a person you are independent and have good collaboration skills. Preferred qualifications A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline (With some exceptions for special reasons such as periods of sick or parental leave, kindly indicate if such reason exists in your resume). Knowledge of open-source program analysis technologies and tools. Knowledge of software-defined networking. Great emphasis will be placed on personal competency. 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. The application must include: CV including relevant professional experience and knowledge. Copy of diplomas and grades from your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages. Brief account of why you want to conduct research, your academic interests, and how they relate to your previous studies and future goals. Max. two pages long. 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). About the employment The position offered is for, at the most, two years. A position as a postdoctoral fellow is a time-limited qualified appointment focusing mainly on research, intended as a first career step after a dissertation. Others Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values. 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 Contract type Full time First day of employment 2022-08-15 or as agreed Salary Monthly salary Number of positions 1 Working hours 100% City Stockholm County Stockholms län Country Sweden Reference number J-2022-1608 Contact Cyrille Artho, artho@kth.se Anna Olanås Jansson, annaoj@kth.se Published 22.Jun.2022 Last application date 25.Jul.2022 11:59 PM CEST Login and apply If you apply for this position please say you saw it on Computeroxy Apply

Postdoc Position in Testing of Software-Defined Networks

School of Electrical Engineering and Computer Science at KTH

KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.

Job description

Industrial robots usually operate within a "safety cage" to ensure that workers are not harmed by a robot in operation. We also need the same type of security, which is simple and explainable, for networks. Novel mechanisms that can be embedded in the network through hardware-accelerated programmable networks or kernel extensions are the enabling technology for this type of security at the network level. However, current security architectures are not built for this.

We propose a solution using machine learning and test generation, leveraging the expertise in explainable machine learning and networking from UIUC and in testing and verification from KTH.

This project, called "Cyber safety cage", will combine different disciplines to apply the idea of a safety cage to the network layer. KTH and UIUC will collaborate closely in this project. At KTH, test case generation will validate diverse traces against the model and also showcase potential malicious behavior, validating both positive and negative outcomes.

The project is led by the following research team:

- Prof. Cyrille Artho (KTH)
- Prof. Roberto Guanciale (KTH)
- Prof. Reyhan Jabbarvand (UIUC)
- Brighten Godfrey (UIUC)

What we offer

A position at a leading technical university that generates knowledge and skills for a sustainable future.
Engaged and ambitious colleagues along with a creative, international and dynamic working environment.
Work in Stockholm, in close proximity to nature.
Opportunities to transfer your research results from the first year to innovations at Ericsson and Saab, two world-leading companies in telecommunication and security.
Help to relocate and be settled in Sweden and at KTH

Qualifications

Requirements

A doctoral degree or an equivalent foreign degree, This eligibility requirement must be met no later than the time the employment decision is made.
Research expertise
Pedagogical ability

Awareness of diversity and equal opportunity issues, with specific focus on gender equality
Collaborative abilities
Independence

The candidate must exhibit a high degree of scientific skills within one or, preferably more, of the research areas concerned: Model driven testing, Formal methods, or Runtime monitoring. As a person you are independent and have good collaboration skills.

Preferred qualifications

A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline (With some exceptions for special reasons such as periods of sick or parental leave, kindly indicate if such reason exists in your resume).

Knowledge of open-source program analysis technologies and tools.
Knowledge of software-defined networking.

Great emphasis will be placed on personal competency.

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.

The application must include:

CV including relevant professional experience and knowledge.
Copy of diplomas and grades from your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages.
Brief account of why you want to conduct research, your academic interests, and how they relate to your previous studies and future goals. Max. two pages long.

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

About the employment

The position offered is for, at the most, two years.

A position as a postdoctoral fellow is a time-limited qualified appointment focusing mainly on research, intended as a first career step after a dissertation.

Others

Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values.

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
Contract type Full time
First day of employment 2022-08-15 or as agreed
Salary Monthly salary
Number of positions 1
Working hours 100%
City Stockholm
County Stockholms län
Country Sweden
Reference number J-2022-1608
Contact
Cyrille Artho, artho@kth.se
Anna Olanås Jansson, annaoj@kth.se
Published 22.Jun.2022
Last application date 25.Jul.2022 11:59 PM CEST
Login and apply

If you apply for this position please say you saw it on Computeroxy

Apply