Postdoc position in Safe and Trustworthy Intelligent Cyber-Physical Systems

Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger

Odense M

The Software Engineering Section at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU Odense Campus) invites applications for an 18-month full time Postdoc position with the possibility of extension for the project Safe and Trustworthy Intelligent Cyber-Physical Systems. The start date is as soon as possible and will be agreed upon with the successful candidate.

We seek candidates with relevant background experience who are interested in applying and scaling formal methods to AI-enabled CPS design to increase confidence in safety, security, robustness, or resilience of the CPS and to provide evidence that the systems avoid failures, are robust against attacks, and are capable of recovery.

The successful applicant will conduct R&D on advanced formal design & analysis techniques including tool-supported system verification & validation, model transformation, and automatic code generation for intelligent CPS applications (e.g., robotics, drones, autonomous, automation systems, etc.). Topics of particular interest include but are not limited to:

  • Safety guarantees for AI/ML-based systems.
  • Robustness against adversarial attacks.
  • Model-based engineering approaches and compliance verification techniques.
  • Safety and security-by-design.
  • Model checking and proofs of safety and/or security properties.

SDU Software Engineering is part of the Maersk Mc-Kinney Moeller Institute at the Faculty of Engineering in Odense. The Software Engineering Section aims at developing and disseminating effective and efficient methods to support high quality and rapid software development of complex and safety-critical systems.

SDU Software Engineering collaborates intensively with industry, and it is expected that a large part of the research is in collaboration with companies across various domains as well the Center of Industrial Software (CIS at SDU Sønderborg campus).

Key responsibilities of the Postdoc include:

  • Conducting scientific research and publishing results in high quality scientific conferences/journals.
  • Participating actively in research coordination meetings and dissemination activities.
  • Contributing to the project deliverables and software tool development.

Qualification and requirements:

  • PhD degree in computer science/software engineering or related areas.
  • Research expertise with background in at least one of the following areas: Applied formal methods, model-based system engineering, software verification & validation (e.g., model checking, testing, SAT, simulation), ML/AI, and willingness to enhance knowledge in several of the listed areas.
  • Proficiency in programming skills (C/C++, Python, MATLAB, Simulink) is beneficial.
  • Strong communication skills and teamwork capabilities.
  • Independence to lead an original line of research.
  • English language fluency in both speaking and writing.

For further queries regarding the position, contact: Associate Professor, Eun-Young Kang [email protected]

Assessment process:

Applications will be assessed by an expert. Shortlisting may be used. Applicants will be informed of their assessment by the Faculty. An interview may be part of the selection process.

Conditions of employment:

The successful applicant will be employed in accordance with the agreement between the Ministry of Finance and the Danish Confederation of Professional Associations. Please check link for more information on salary and taxation.

Application: Your application must be uploaded through the link “Apply Online”. Attached files must be in Adobe PDF. For further details, refer to How to apply.

The applications must be English and include:

  • A motivation letter emphasizing your specific interest and motivation to apply for this Postdoc position. Elaborate how your experience and background fit the corresponding position. Attach a motivation letter to “application material” under “Research Plan”.
  • A research plan describing your approach to the above project (maximum one page, excluding references).
  • A full CV including your education, a list of publications, awards, working experience, and contact details for 3 references.
  • Certificates/Diplomas (PhD, MSc and BSc combined as one single pdf-file) and academic transcripts (including grades) from your previous university studies. Translation into English or Danish if the original documents have not been issued in any of these languages.
  • An official document describing the educational structure and the grading scheme of the awarding universities.
  • Copy of the 3 most relevant publications to the position.

Application deadline: January 31st 2024, 11:59pm (CET).

If you experience technical problems, you must contact [email protected].

The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.

Further information for international applicants about entering and working in Denmark.

Further information:

University of Southern Denmark: www.sdu.dk

The Maersk Mc-Kinney Moller Institute: www.sdu.dk/mmmi

SDU Software Engineering: https://www.sdu.dk/en/forskning/sdusoftwareengineering

Kilde: Jobnet.dk


Information og data

Denne ledige stilling har jobtypen "Forsker", og befinder sig i kategorien "Sundhed og forskning".

Arbejdsstedet er beliggende i Odense M.

Jobbet er oprettet på vores service den 22.12.2023, men kan have været deaktiveret og genaktiveret igen.

Dagligt opdateret: Dette job opdateres dagligt ud fra jobudbyderens hjemmeside via vores søgemaskineteknologi og er aktivt lige nu.
  • Forsker
  • Odense M
  • Onsdag den 31. januar 2024

Lignende jobs

Statistik over udbudte jobs som forskere i Odense M

Herunder ser du udviklingen i udbudte forsker i Odense M over tid. Bemærk at jobs der ikke har en bestemt geografi ikke er medtaget i tabellen. I den første kolonne ser du datoen. I den næste kolonne ser du det samlede antal forskere.

Se flere statistikker her:
Statistik over udbudte forskere i Odense M over tid

Dato Alle jobs som forskere
23. december 2024 3
22. december 2024 5
21. december 2024 5
20. december 2024 5
19. december 2024 5
18. december 2024 5
17. december 2024 5
16. december 2024 5
15. december 2024 5
14. december 2024 5
13. december 2024 5
12. december 2024 5
11. december 2024 4
10. december 2024 4
9. december 2024 4
8. december 2024 4
7. december 2024 4
6. december 2024 4
5. december 2024 1
4. december 2024 1
3. december 2024 1
2. december 2024 2
1. december 2024 2
30. november 2024 2
29. november 2024 2
28. november 2024 2
27. november 2024 2
26. november 2024 2
25. november 2024 2
24. november 2024 2
23. november 2024 2