PhD student in Computer Science
Mälardalens Högskola / Högskolejobb / Västerås
2019-10-28
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "PhD student in Computer Science " (publicerad 2020-03-20) ⬅️
Visa alla högskolejobb i Västerås,
Hallstahammar,
Surahammar,
Eskilstuna,
Enköping eller i
hela Sverige Visa alla jobb hos Mälardalens Högskola i Västerås,
Eskilstuna,
Arboga,
Flen,
Södertälje eller i
hela Sverige MDH in Eskilstuna and Västerås is one of Sweden's biggest university colleges with its 14 000 students and 900 employees. It has a long tradition of cooperating with society and has entered strategic agreements with both the public and the private sector. Most study programmes fall into four main areas: economy, health and welfare, education, and technology. With its research, which often takes the form of co-production on the regional, national and global levels, MDH aims to generate useful solutions for societal development. In 1999, MDH was the world's first university to be environmentally certified, and in 2006, it was the first higher education institution in Sweden to be certified for its work environment.
Employment information
Employment: Temporary employment
Scope: Full time
Closing date for application: 2019-11-28
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT), department for Division of Computer science and Software engineering
Position description
In SACSys, we address the core question of how to provide run-time guarantees of safety and cyber-security for time-critical collaborative adaptive systems. For achieving this goal, we will recognize and define continuous safety and security requirements with time-criticality features in adaptive systems, and design behavioral models at run-time to analyze and check conformance of the safety and security requirements. The analysis of such models will be executed in a suitable cloud-based platform with real-time guarantees, provided by novel approaches.The project will contribute by proposing an architecture and suitable models tailored for collaborative adaptive systems, building efficient analysis techniques suitable for formal verification of safety and security requirements at run-time, tailored for collaborative adaptive systems, and developing methodologies for run-time performance evaluation, planning and optimization to deal with changes in the system and in the environment in a continuous and safe way.
As research outcome we expect publications, and (prototype) tools.
See relative publications at
http://www.rebeca-lang.org/wiki/pmwiki.php/Rebeca/PublicationsQualifications
Only those who are or have been admitted to third-cycle courses and study programmes at a higher education may be appointed to doctoral studentships. For futher information see Chapter 5 of the Higher Education Ordinance (SFS 1993:100).
Required qualifications:
• Master of Science in Computer Science or equivalent
• Fluent in English, both written and in conversation.
• A successful applicant should have demonstrated knowledge and skills in some kind of modeling and analyzing different types of systems.
Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.
Merit
• Formal methods
• Concurrency theory,
• Model checking,
• Embedded and real-time systems,
• Programming in C++ and Java,
and a publication record, and ability to conduct collaborative cross-disciplinary research.
Application
Application is made online. Make your application by clicking the "Apply" button below.
The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than closing date for application.
We look forward to receiving your application.
We decline all contact with recruiters and salespersons of advertisements. We have made our strategic choices for this recruitment.
Varaktighet, arbetstid
Heltid/ Ej specificerat
Publiceringsdatum2019-10-28ErsättningMånadslön
Så ansöker duSista dag att ansöka är 2019-11-28
Klicka på denna länk för att göra din ansökanFöretagMälardalens Högskola
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Mälardalens Högskola (org.nr 202100-2916),
http://www.mdh.se Arbetsplats Mälardalens högskola
Jobbnummer 4888732
Observera att sista ansökningsdag har passerat.