BEMÆRK: Ansøgningsfristen er overskredet
Applicants are invited for a PhD fellowship/scholarship at Graduate School of Technical Sciences, Aarhus University, Denmark, within the Electrical and Computer Engineering programme. The position is available from 01 February 2024 or later. You can submit your application via the link under 'how to apply'.
Title:
Determining the Limits of Self-Adaptive Behaviour of Robots from a Safety Perspective
Research area and project description:
In the realm of cyber-physical systems, ensuring the trustworthiness of self-adaptation processes is a pivotal challenge. The Department of Electrical and Computer Engineering, Aarhus University hopes to address this challenge by developing a comprehensive approach that involves the analysis, modeling, and verification of self-adaptation loops.
The appropriate candidate will play a central role in the development and deployment of trustworthiness checkers for self-adaptation loops. The main tasks to be carried out include:
1. Domain Analysis and Ontology Development: Conduct a systematic analysis of the case studies and their safety and performance checks. Collaborate closely with our industrial partners to create an ontology capturing the commonalities and differences in verification requirements across domains.
2. Language Definition and IDE Development: Define a languages to describe safety procedures within adaptation loops. Incorporate multi-paradigm modeling techniques into the language and create an Integrated Development Environment (IDE) using the language server protocol.
3. Formally Verified Trustworthiness Checkers: Generate formally verified trustworthiness checkers and accompanying documentation. Translate domain expert descriptions into for example, Linear Temporal Logic (LTL) for creating verified checkers, leveraging traces from the MAPE-K loop.
4. Integration of Trustworthiness Checkers: Establish the interfaces necessary for communication between trustworthiness checkers and the MAPE-K loops developed by our university partners, to ensure seamless integration of the developed components.
Project description. For technical reasons, you must upload a project description. Please simply copy the project description above, and upload it as a PDF in the application.
Qualifications and specific competences:
Applicants must have a relevant Master’s degree or at least one year of a Master’s degree in Computer Science or Computer Engineering.
1) Comprehensive background in cyberphysical systems and formal modelling.
2) Experience with software development, and optionally language design and IDE development.
3) Fast learner with interest in multidisciplinary research.
4) Excellent communication skills.
5) Ability to collaborate effectively within a multidisciplinary and multicultural team.
6) Inclusive and open minded.
Place of employment and place of work:
E.g.: The place of employment is Aarhus University, and the place of work is Department of Electrical and Computer Engineering, Helsingforsgade 10, 8200 Aarhus N, Denmark
Contacts:
Applicants seeking further information are invited to contact:
- Professor Peter Gorm Larsen, pgl@ece.au.dk (main supervisor)
How to apply:
Please follow this link to submit your application.
Application deadline is Thursday 26 October 2023 23:59/.
Preferred starting date is 01 February 2024.
For information about application requirements and mandatory attachments, please see our application guide.
Please note:
- The programme committee may request further information or invite the applicant to attend an interview.
- Shortlisting will be used, which means that the evaluation committee only will evaluate the most relevant applications.
Aarhus University’s ambition is to be an attractive and inspiring workplace for all and to foster a culture in which each individual has opportunities to thrive, achieve and develop. We view equality and diversity as assets, and we welcome all applicants. All interested candidates are encouraged to apply, regardless of their personal background. Salary and terms of employment are in accordance with applicable collective agreement.
INFORMATIONER OM STILLINGEN:
- Arbejdspladsen ligger i:
Aarhus Kommune
-Virksomheden tilbyder:
-Arbejdsgiver:
Aarhus Universitet, Nordre Ringgade, 8000 Aarhus C
-Ansøgning:
Ansøgningsfrist: 26-10-2023; - ansøgningsfristen er overskredet
Se mere her: https://job.jobnet.dk/CV/FindWork/Details/5924717