PhD student within Safety and Security of Mission-critical Syste

Linköpings universitet / Administratörsjobb (offentlig verksamhet) / Linköping
Observera att sista ansökningsdag har passerat.


Visa alla administratörsjobb (offentlig verksamhet) i Linköping, Mjölby, Åtvidaberg, Finspång, Motala eller i hela Sverige
Visa alla jobb hos Linköpings universitet i Linköping, Finspång, Motala, Norrköping, Kinda eller i hela Sverige

Linköping University

Hereby advertises 1-2 positions as

PhD student in Safety and Security of Mission-critical Systems formally based at the Department of Computer and Information Science, Real-time Systems Laboratory

Duties
Your project will result in enhanced tools and methods for analysis of dependability and resource efficiency in future autonomous systems. These systems have complex functionality and need to function in critical scenarios. They have requirements on reliability (correct functioning over time), safety, and security (especially availability and integrity in potentially hostile environments). Resources (computation capacity, memory, bandwidth, energy) need to be adequate to satisfy functional requirements in dynamic environments, but can also be part of the bigger picture where resource starvation, contentions, or attacks can manifest as threats to dependability. Complexity in the functional design is expected to be overcome by model-based development. The complexity of the systems is dealt with through separation of models for the application and models for the platforms. Convenience in changing both application models and platform models at an early concept development stage is a challenge. Where several actors are part of an application scenario, like smart manufacturing, smart energy distribution, or networked avionics systems, we also anticipate modelling of multiple agents to analyze their emerging behaviors.

As a PhD student you will primarily devote yourself to your research. As a PhD student you are limited to work with education and administration up to 20 percent of full time.

Qualifications
Qualified to PhD studentships are only those who are or have been admitted to graduate studies.

Grounds for assessment
These positions are open to candidates with an excellent background in computer science and engineering, with a strong interest in mathematical modelling and verification of system properties, and knowledge about real-time systems. Earlier experience with tools such as model checkers or constraint satisfaction engines is considered as a qualification. Also, earlier theses in topics related to attack modelling and failure analysis is beneficial. Since one project is defined in the context of a national aerospace program, where project meetings will take place in Swedish, knowledge of the Swedish language is also beneficial

Union representatives
For contact with union representatives see https://liu.se/jobba-pa-liu/lediga-jobb

Equal Opportunities
A majority of our PhDs within the Department of Computer and Information Science are men, which is why precedence will be given to women in cases where qualifications are deemed otherwise equivalent.

For more information
https://liu.se/en/work-at-liu/vacancies?rmpage=job&rmjob=7848&rmlang=UK

%MCEPASTEBIN%

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.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Publiceringsdatum
2018-02-20

Ersättning
The salary for PhD students is based on the department's salary scale.

Så ansöker du
Sista dag att ansöka är 2018-03-13
Klicka på denna länk för att göra din ansökan

Företag
Linköpings Universitet

Adress
Linköpings Universitet
Department of Computer and Information Science
58183 Linköping

Kontorsadress
Department of Computer and Information Science

Jobbnummer
3976537

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Linköpings universitet

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Linköpings universitet: