SDU Fully-Funded PhD Position in Property-based Testing for International Students

  • Phd
  • Salaried, €3,378 per month
  • 20 January 2021

Research environment
The PhD position is part of a project within the SDU Software Engineering section entitled EF-CPS: Error-Free Cyber-Physical Systems. The project supports the Industry 4.0 Laboratory Initiative at University of Southern Denmark, a long-term strategic initiative created to support research, teaching, and industrial collaboration and experimentation. The University invests more than 15 Mill. Euro over the next five years in the Industry 4.0 initiative.

SDU Software Engineering is a relatively new and growing section focusing on many aspects of software engineering and production from requirements to test as well as data and security across many domains. We are focusing on building a strong collaborative environment and we are currently expanding with many new positions. The section is located in Odense.

The PhD project
The overall goal of the PhD project is to help ensure a trustworthy software stack for the laboratory’s I4.0 platform, thereby providing a solid foundation for the I4.0 infrastructure to build on. The project aims to do so by applying modern automated testing techniques from property-based testing. Concretely this will involve developing a combination of model-based tests and investigating relevant domain-specific properties within the Industry 4.0 domain to help drive test case generation.

The ideal candidate for this position has previous experience with functional programming and/or property-based testing.

Job description

  • You will conduct research in the intersection of property-based testing and I4.0.
  • You will develop open-source software prototypes.
  • 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.
This is a scholarship by


Syddansk Universitet tilbyder videregående uddannelser i form af bacheloruddannelser, kandidatuddannelser og efteruddannelse (masteruddannelser, uddannelser på deltid) samt forskeruddannelser (ph.d.). Universitetet har fem fakulteter og er repræsentere...

All Scholarships from SDU


  • MSc degree (equivalent to a Danish master's degree) in Computer Science, Software Engineering, Informatics or equivalent.
  • Comfortable learning new programming languages if needed.
  • Experience (or a genuine interest) in doing research.
  • Strong communication skills.
  • Comfortable working both independently and within a team.
  • Interested in longer term commitment in a growing research group.
  • Fluent in English, both spoken and written.


Do you wish to become an international student next year?
Demonstrate your English skills with IELTS.

Start preparing for IELTS today


Employment as a PhD fellow is a 3-year salaried position (start salary amounts to approx. 3.378,- Euro per month incl. supplements).


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 project in question (max. two 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.
Apply Now

Sign Up for Scholarship Updates

Get an email every week that 10.000's of students use to get the latest scholarships.