[ref. f14963218] Digital Twin Architectures for Cyber-Physical Systems - Aarhus
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 2025 or later. You can submit your application via the link under 'how to apply'.
Title: Digital Twin Architectures for Cyber-Physical Systems
Research area and project description:Digital Twins (DT) are a useful tool for fault detection and prediction in safety-critical cyber-physical systems (also known as a Physical Twin (PT)). However, architecting and implementing DTs can be a time-consuming task, so any tools to aid in the creation of a DT has the potential to speed up development time and increase the ease of development.
In addition, due to the increasing automation of safety-critical systems, stronger assurance is needed of the systems correctness and security to minimize potentially catastrophic faults if autonomy is introduced. Due to the precise nature of these systems, precise specifications are needed, but the specifications must also be user-friendly and present throughout all abstraction levels of the system.
This will ensure both clarity for any engineer involved in the development process, and soundness for all system specifications for such DT-enabled systems. Finally, since these DT-enabled systems need to operate in complex, unpredictable environments, one will need to specify how the system should evolve in the presence of uncertainties, such as hardware failures and different environments, and ensure that these evolutions maintain the safety specifications of the DT-enabled system.
Please make your own Project Description (½-4 pages). This document should describe your ideas and research plans for this specific project. If you wish to, you can indicate an URL where further information can be found.
Qualifications and specific competences: Applicants must have a relevant Master’s degree (120 ECTS).
Other required qualifications:
- Excellent Programming and Software Architecture Skills
- Theorem Proving (in particular, Isabelle, Logika)
- ROS
- Experience in interacting with industrial research teams
- Experience with high assurance systems
Place of employment and place of work: The place of employment is Aarhus University, and the place of work is Helsingforsgade 10, 8200 Aarhus N, Denmark.
Contacts:Applicants seeking further information are invited to contact:
- Professor Peter Gorm Larsen, e-mail: pgl@ece.au.dk (main supervisor)
How to apply: Please follow this link to submit your application.
Application deadline is 7 November 2024 at 23:59.Preferred starting date is 1 February 2025.
For information about application requirements and mandatory attachments, please see our application guide.
Please note:
- Only documents received prior to the application deadline will be evaluated. Thus, documents sent after deadline will not be taken into account.
- 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.
All interested candidates are encouraged to apply, regardless of their personal background. Salary and terms of employment are in accordance with applicable collective agreement.