Software Technology

Program Overview

This Master's program in Computer Science with a specialization in Software Technology prepares students for careers in the software industry. Through collaborations with industry experts and practical assignments, students gain knowledge in software engineering methods, tools, and technologies. Graduates are equipped with specialist knowledge in programming languages, software composition, and formal methods, enabling them to develop and validate large-scale software systems.

Program Outline

Teaching:

• The program collaborates with the Industrial Advisory Board, consisting of partnerships with ICT and high-tech companies, to guarantee that the students' skills and knowledge align with the demands of the software industry.
• Industry experts contribute lectures on programming, designing, developing, and maintaining efficient software systems.
• Students work on practical assignments, such as a simulator predicting the cost and complexities of integrating applications with different data structures for information exchange and file sharing.
• They also develop workflow systems for file preparation in printing processes and tools analyzing software systems for scalability and maintainability improvements.

Careers:

• Graduates of the Master's in Computer Science with a specialization in Software Technology gain the knowledge, skills, and values necessary for a successful career in the field.
• They understand the different phases of the software lifecycle, including requirements, engineering, architectural and detailed design, construction, and quality assurance.
• They can apply software engineering methods and tools in the development and validation of large-scale systems and conduct scientific research in software engineering methods and technologies, formal methods and programming, and design paradigms.
• Graduates are equipped with specialist knowledge in programming languages, software composition, service-oriented architectures, model-driven engineering, and formal methods.
• They value quality software development, ensure quality through mathematical formalisms, and consider the societal and sustainability aspects of (safety-critical) software development.