The requirements for modern software are becoming ever higher and more complex. This is accompanied by the introduction of new techniques for developing software to meet these requirements. Often, this requires research to implement new development environments and tools that support these advanced development techniques.

In this module, participants use and extend advanced software development tools from practice and research. This should either extend the functionality or improve the tool in the area of non-functional properties.

The internship performances are individually graded, group work is possible. The internship is integrated into the current research work of the chair and offers a lot of room for creativity. The internship tasks are practically oriented and prepare the students for realistic tasks in research and in industry.

Depending on the topic, the internship can be completed as an individual or in small groups. There is usually one weekly meeting. The date will be determined together with the participants.

Registration for the internship is done by e-mail to the supervisor. (Deadline: 19.04.2023)

Quantum Computing:

• Load Scheduling for the ProvideQ Toolbox (Supervision: Domenik Eichhorn)

Formal methods:

• Quality assurance and extensions in the tool CorC (Supervision: Tabea Bordis).
• Code generation for the tool ArchiCorC (Supervision: Rasmus Ronneberg)

Software product lines:

• Development of a web-based evaluation platform for sampling algorithms (Supervision: Tobias Pett)
• Development of language parsers and editors for the taxonomy mining framework (Supervision: Christoph König)
• Visualisation of feature models with vector graphics (Supervision: Domenik Eichhorn)