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.
This innovative goal is shared with other partner universities such as York University, University of Antwerp, Aristotle University of Thessaloniki, Norwegian University of Science and Technology, Danish Technological Institute, Fraunhofer Institute for Factory Operation and Automation IFF, and with companies such as PAL Robotics and Simula Research Lab.
The project aims to establish a standardized framework for describing and validating the safety and performance checks within adaptation processes.
We are therefore looking for a postdoctoral researcher with long term career prospects at AU, who will specialize in the intersection between formal methods and control systems (with higher emphasis on the former and a working knowledge of the latter), and whose contributions will affect not only the aforementioned project but also other ongoing projects digital-twin related projects.
Expected start date and duration of employment
This is a 3–year position from February 2024 or as soon possible.
This is a fixed-term position to end on Jan 2027.
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:
- 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.
- 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.
- 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.
- 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.
The candidate will assume technological leadership over the software solutions developed for the above tasks, as well as take on to supervision of PhD and master students on the same topics.
- A Ph.D. degree in Computer Science primary, or related field (in the latter case, special emphasis will be placed on assessing programming proficiency).
- Comprehensive background in cyberphysical systems and formal verification.
- (Optional) Proficiency in formal languages, model checking, runtime verification.
- Experience with software development, and optionally language design and IDE development.
- (Optional) Strong publication record in relevant conferences and journals.
- Fast learner with interest in multidisciplinary research.
- Excellent communication skills.
- Ability to collaborate effectively within a multidisciplinary and multicultural team.
- Inclusive and open minded.
About the Department
The Department of Electrical and Computer Engineering is one of four engineering departments at the Faculty of Technical Sciences at Aarhus University.
Our vision is to be a world-leading department for research, education and innovation in electrical and computer engineering, creating a positive and visible impact on society and the environment through interdisciplinary collaboration, excellence and diversity.
Many of our research and development activities are based on the specific innovation needs or specialist application areas of specific companies. We collaborate closely with
the public sector and private companies to ensure that the knowledge and technology generated in the department’s research environments has a clear anchoring in reality
and benefits society as a whole.
For more information about the Department of Electrical and Computer Engineering,
please visit https://ece.au.dk/
See more about our activities on LinkedIn: https://www.linkedin.com/company/au-ece/
You can read more about the Software Engineering and Computing System’s section.
What we offer
- a well-developed research infrastructure, laboratories and access to shared equipment
- an exciting interdisciplinary environment with many national, international and industrial collaborators
- a research climate encouraging lively, open and critical discussion within and across different fields of research
- a work environment with close working relationships, networking and social activities
- a workplace characterised by professionalism, equality and a healthy work-life balance.
Place of work and area of employment
The place of work is Finlandsgade 22, 8200 Aarhus N, Denmark, and the area of employment is Aarhus University with related departments.
Applications must be received no later than 16 October 2023.
Shortlisting is used. This means that after the deadline for applications – and with the assistance from the assessment committee chairman, and the appointment committee if necessary, – the head of department selects the candidates to be evaluated. All applicants will be notified whether or not their applications have been sent to an expert assessment committee for evaluation. The selected applicants will be informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self. Once the recruitment process is completed a final letter of rejection is sent to the deselected applicants.
Letter of reference
If you want a referee to upload a letter of reference on your behalf, please state the referee’s contact information when you submit your application. We strongly recommend that you make an agreement with the person in question before you enter the referee’s contact information, and that you ensure that the referee has enough time to write the letter of reference before the application deadline.
Unfortunately, it is not possible to ensure that letters of reference received after the application deadline will be taken into consideration.
Formalities and salary range
The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about research activities, teaching portfolio and verified information on previous teaching experience (if any). Guidelines for applicants can be found here.
Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Taxation and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities.
Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation of Professional Associations.
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.
Research activities will be evaluated in relation to actual research time. Thus, we encourage applicants to specify periods of leave without research activities, in order to be able to subtract these periods from the span of the scientific career during the evaluation of scientific productivity.
Aarhus University offers a broad variety of services for international researchers and accompanying families, including relocation service and career counselling to expat partners. Read more here. Please find more information about entering and working in Denmark here.
Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here.
The application must be submitted via Aarhus University’s recruitment system, which can be accessed under the job advertisement on Aarhus University's website.
Deadline: 2023-10-16 at 23:59
Post expires on Monday October 16th, 2023