Få opslag som dette inden alle andre

PhD position in Trustworthy Cyber-Physical Systems and Internet of Things within Industry 4.0

Syddansk Universitet (SDU)

The SDU Software Engineering at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark, invites outstanding candidates to apply for a fully-funded 3-year PhD position for Trustworthy CPS/IoT within an I4.0 project. The position is available starting 1 January, 2021, or as soon as possible thereafter. The application deadline is 1 November, 2020.
Research environment
SDU Software Engineering is a relatively new and growing section focusing on many aspects of software engineering and production across requirement, design, verification and validation, as well as data analysis, and security in various domains. We are focused on building a strong collaborative environment and are currently expanding.

The PhD project
The successful applicant will provide a model-based design and formal analysis technology for the development of safety and security-critical Cyber-Physical Systems with advanced IoT features. This research will focus on developing tool-supported methodologies to integrate various verification & validation techniques for modeling CPS/IoT applications and supporting automatic formal analysis within an Industry 4.0 platform.

The PhD student will work on topics related to safety, security, and control of CPS/IoT with the aim of developing design methodologies, algorithms, and tools to support trusted automation.

The research topics cover:

  • Foundations for CPS and IoT including formal reasoning, modeling, and specification of dynamic behaviors of systems.
  • Model-based development and energy prediction/optimization of interconnected networked embedded systems.
  • Model checking for quantitative systems including statistical or/and SMT-based model checking.

Proficiency in programming skills (Java, C/C++, MATLAB and/or other programming languages), theoretical background in formal methods and system verification & validation are preferred.

Job description

  • You will conduct research in the corresponding research areas.
  • You will develop an open-source software prototype.
  • You will publish and present your work both at international conferences and in scientific journals with high impact.
  • You will assist in teaching and supervision activities.

Profile and requirements

  • MSc degree (equivalent to a Danish master's degree) in Computer Science, Software Engineering, Mathematics or related areas.
  • Thorough theoretical background, i.e., formal methods and/or verification & validation.
  • Strong communication skills.
  • Willingness to support industrial partners and overall research project progress.
  • Comfortable working both independently and within a team.
  • Interested in contributing to teaching and supervision.
  • Fluent in English, both spoken and written.

Contact information
For further information, please contact Associate Professor Eun-Young Kang, email: eyk@mmmi.sdu.dk.

Conditions of employment
Applicants are required to have a master’s degree (equivalent to a Danish master's degree) at the time of enrollment and employment. Employment as a PhD fellow is a 3-year salaried position (start salary amounts to approx. 3.378,- EURO per month incl. supplements).

Employment of a PhD fellow can only happen after the Head of the PhD School has approved the candidate for admission to the PhD school. Employment and enrollment will cease without further notice at the end of the period.

A PhD fellow is not allowed to have any kind of sideline employment, while enrolled as PhD fellow at the faculty.

Employment is governed by the Protocol on PhD Research Fellows signed by the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Please check links for more information on salary and taxation.

The successful candidate will be enrolled at SDU in accordance with Faculty regulations and the Danish Ministerial Order on the PhD Programme at the Universities (PhD order), read more here.

The assessment process
Read about the Assesment and selection process. Shortlisting may be used.

Application procedure
The Faculty expects applicants to read the Faculty information for prospective PhD students and How to apply before applying.

The application must be in English and must include - the required forms must be found at the above mentioned Faculty website:

  • Completed TEK PhD application form for 5+3 applicants.
  • Motivation letter stating your specific interest, motivation and qualifications for the position/project in question (max. 2 pages). Upload in the field called “Project description”.
  • Detailed Curriculum Vitae, describing research, publication and teaching experience, computational skills and including personal contact information.
  • Verified copies of the official bachelor diploma and master's diploma and transcripts of exams.
  • Completed TEK PhD form for calculation grade point average. Upload in one of the fields called “Publication”.
  • An official document describing the grading scheme of the awarding universities (if not Danish). Upload in one of the fields called “Publication”.
  • An official and verified written assessment of the thesis or dissertation project from the grade giving institution, if the thesis/examination project is evaluated by approved/passed. The statement must clearly state that the candidate has been among the top 30 pct. in the graduation class for the study programme.
  • References, if any. You're welcome to use the form for reference letter at the Faculty website.
  • List of publications and maximum 2 examples of relevant publications, in case you have any publications.

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

Send ansøgning
Ansøgningsfrist 2020-nov-01
Du kan søge om jobbet ved Det Tekniske Fakultet ved at udfylde ansøgningsformularen


Opslaget er indhentet automatisk fra virksomhedens jobsider og vises derfor kun som uddrag. Log ind for at se det fulde opslag eller gå videre til opslaget her:

læs opslaget hos Syddansk Universitet (SDU)

husk frist
send til mig
Ansøgningsfrist d. 01.11.2020
Geografiske områder

Angiv venligst i din ansøgning, at du har set opslaget i Akademikernes Jobbank

Ph.d. & forskning
Matematik, Fysik & Nano
Teknik & Teknologi
Forskning & Udvikling
IT - Hardware
IT - Software
Få opslag som dette inden alle andre

Syddansk Universitet (SDU) - hurtigt overblik

Syddansk Universitet (SDU)
Syddansk Universitet (SDU)
SDU åbnede dørene for de første studerende i Odense i september 1966, og siden da er det gået stærkt. Vi har nu fem fakulteter med omkring 30.000 studerende, heraf mere end 15 % fra udlandet, og knap 4.000 ansatte fordelt på hovedcampus i Odense samt regionale campusser i Slagelse, Kolding, Esbjerg og Sønderborg og København.

Campusvej 55
5230 Odense M
Logo: Syddansk Universitet (SDU)
Efterspørgsel efter nye talenter

Hvilke jobtyper og arbejdsområder udbyder vi normalt og hvor mange nye talenter søger vi efter?


Følg vores aktiviteter på LinkedIn.


Få mere info omkring vores virksomhed på vores egne websider:


Syddansk Universitet (SDU) i Google

Er der andre informationer om os, som du burde vide? Se, hvad en Google-søgning siger.

Karriereprofil i Jobbanken
Opret karriereprofil: Automatiser din jobsøgning med jobagenter, få adgang til nyeste job før andre og bliv synlig for arbejdsgivere med en talentprofil.
nej tak, tag mig til jobopslaget
nej tak, vis ansøgningsinfo