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.
- 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.