This advert is not available!
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:
- Assoc. Prof. Cyrille Artho (KTH)
- Assoc. Prof. Roberto Guanciale (KTH)
- Asst. Prof. Reyhan Jabbarvand (UIUC)
- Prof. Brighten Godfrey (UIUC)
Read more about what it is like to work at KTH
Requirements
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
Great emphasis will be placed on personal competency.
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.
The application must include:
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 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.
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 |
---|---|
Contract type | Full time |
First day of employment | 2022-08-15 or as agreed |
Salary | Monthly salary |
Number of positions | 1 |
Full-time equivalent | 100% |
City | Stockholm |
County | Stockholms län |
Country | Sweden |
Reference number | J-2022-1608 |
Contact |
|
Published | 22.Jun.2022 |
Last application date | 29.Aug.2022 11:59 PM CEST |