Software Technology (ST)

If your interest encompasses development of high-end software, unrestricted by application domain, then this degree programme is for you. High-end reliable software development requires a thorough understanding of current technology, polished design, programming and validation skills, and a comprehensive working knowledge of the different phases of software engineering. Aside from these tough requirements, every domain of application has its own special features, languages and techniques.

The specialization in Software Technology offers a combination of courses that teach all of the aspects listed above. Our students graduate as experts in state-of-the-art technologies and software engineering phases. They also acquire specialist insight into their choice of application domains, including databases, wireless and embedded systems, security or cloud computing. In addition to an individual graduation project, students will also carry out an industrial team-based project focusing on a real-life problem. Throughout the programme, students will amass theoretical knowledge and learn practical skills that will make them assets as developers for a broad and diverse range of software products and uses.

Industrial Advisory Board

This Master's programme makes use of the expertise of an Industrial Advisory Board, comprised of representatives from foremost software-intensive high-tech companies, like Océ, Thales and Nedap. The board offers advice on the relevance of the curriculum, suggests improvements, submits interesting case studies and assignments, and organizes guest lectures. The current list of board members can be found here.

The right choice for you?

Software Technology is the right programme for you if your goal is to become any of the following:
A researcher, who

  • is well equipped to carry out theoretical and experimental research in the realm of software engineering technologies, programming or design paradigms, or software engineering methods.
  • the reliability of software and systems.

A software practitioner, who

  • has theoretical knowledge and practical skills in a broad range of software engineering phases, encompassing architecture, design, construction and validation techniques and tools.
  • is competent to address specific software engineering challenges in application areas, such as sensor networks, information systems and security.

A tool builder, who

  • is proficient in the state-of-the-art software engineering techniques needed to create or contribute to fit-for- purpose, maintainable software tools.

Career opportunities

Software is nowadays found in all kinds of application areas, ranging from computer applications, web services and information systems to the automotive or consumer electronics sector. A Master's degree with the Software Technology specialization offers employment opportunities for software developers, consultants, or verification engineers in a software-intensive company, as well as for researchers at the university of industrial research centers or as a verification engineer. You might also indulge your entrepreneurial spirit and start a company of your own, bringing your own state-of-the-art software solutions to the market.

Enrolment and Programme Mentor

In order to enroll in this specialization, you should make a selection of the courses below, and fill in this

ST Course Programme form

(older forms: 2017-2018, 2016-2017)
This will be sent to the programme mentor, who will check it agains the regulations and, if correct, forward it to CES. You can always change your choice later, by repeating the same procedure. At the time you are ready to start your Final Project, the courses you actually followed should coincide with those you entered through the above form.

If you have any questions or want to discuss your choice, please contact the programme mentor:

Prof. Dr. M. (Marieke) Huisman
Room: Zilverling 3039
Phone: +31 (0)53 489 4662



The courses for the ST specialization are divided in categories to ensure education in a broad range of phases in the software engineering lifecycle, technologies, and application areas of software technology. To enrich the variety of courses in this specialization, we also include courses carried out by sister technical universities, Delft and Eindhoven.

Course codes with a "!" link to last year's page

General (Mandatory)

Course Code Course Name kw
! 191612680 Computer Ethics .2..
! 192199508 Research Topics 1234
! 192199978 Final Project 1234

Core (Mandatory)

Course Code Course Name kw
! 192170015 Testing Techniques ..3.
192135450 ADSA - Model Driven Engineering 1...
192140122 System Validation 1...
! 201700082 Programming Principles, Patterns and Processes ...4

Mantle (choose 4)

Course Code Course Name kw
! 192111092 Advanced Logic ...4
192135310 Modeling and Analysis of Concurrent Systems 1...
192111332 Design of Software Architectures 1...
201600040 Requirements Engineering processes and methods .2..
192340041 Software Management ...4
! 192652150 Service-oriented Architecture with Web services ..3.

Orientation (choose 1)
The choice of orientation brings further requirements of 10 EC worth of courses. Note that the ISEP course cannot be combined (within the regular 120 EC) with a traineeship (192199968), since there is too much overlap between the respective learning goals.

Design orientation
Course Code Course Name kw
! 201400172 Industrial Software Engineering project * 1234

* ISEP is a 10 EC course that runs during a semester, i.e., 2 consecutive quarters: either 1+2 or 3+4. It is to be followed in the second year of the programme.

Research orientation
Course Code Course Name kw
201700084 Software Science * ..34
201400171 Capita Selecta Software Technology 1234

* Following one instance (either 3rd or 4th quarter) of Software Science is enough.

Electives (free choice)
Any of the courses above can also be chosen as electives, and within reason the same goes for most of the other courses offered in the context of other specialisations, provided there are no prior knowledge requirements. In addition, we want to explicitly list the following courses as ST electives:

Course Code Course Name kw
! 201600051 Software Security .2..
201200006 Quantitative Evaluation of Embedded Systems .2..
192620300 Performance Evaluation .2..
201400225 Software evolution (only in 2018-2019) ...4
201700081 Probabilistic Programming ..3.
! 201400174 Data Science 123.
! 201600070 Basic Machine Learning 1...


Apart from the general attainment levels for the CS Master, ST graduates will be able to demonstrate their specialist knowledge as follows.

  • ST graduates have a thorough knowledge and understanding of the different phases of the software lifecycle (ranging from requirements engineering over architectural and detailed design to construction and quality assurance) as a scientific and design discipline.
  • ST graduates have a thorough knowledge and understanding of, as well as practical experience with, the application of software engineering methods and tools in the development and validation of large-scale systems.
  • ST graduates know the trade-offs between alternative software engineering techniques and can make educated decisions throughout the software lifecycle.
  • ST graduates have knowledge and understanding of various aspects of Software Engineering including its mathematical background, software management, quality assurance, requirements engineering, architectural design, detailed design, software construction, verification, and programming languages.
  • ST graduates have specialist knowledge and understanding of one or more sub-fields or aspects of the software engineering discipline, e.g. Programming Languages, Software Composition, Service-Oriented Architectures, Model-Driven Engineering, Formal Methods.
  • ST graduates have practical experience conducting scientific research in the realm of software engineering methods and technologies, formal methods and/or programming or design paradigms, enabling them to contribute to such research, follow the trends and apply the results.