Search programme

​Use the search function to search amongst programmes at Chalmers. The programme overview and the programme syllabus relating to your studies are generally from the academic year you began your studies.

  Study programme, year:  1 2

Study programme syllabus for


Namnlöst dokument

As the IT-revolution accelerates, computer systems play a rapidly growing role in our daily lives. When we fly, computers control the aircraft. Our electricity supply, our mobile phones, even our diaries, all rely on computers for their operation. As we depend on computer systems for our very lives, they must in turn be absolutely dependable. At the same time, computer systems are growing ever more complex; software size doubles every 18 months. Ensuring dependability is a major challenge for the IT-industry. This Master's program will give you a thorough grounding in relevant areas and aquaint you with a selection of hot research topics.

The language of all courses is English.

Entry requirements

Students with three years' University studies, with an emphasis on computer science and engineering, are welcome to apply. For example, a pure computer science degree, or an electrical engineering degree with a substantial element of computing, or a combination of computing with another subject would all qualify you. Your computing studies should provide a reasonable balance between theory and practice. Essential prerequisites are courses in basic programming, algorithms and data structures, discrete mathematics and digital systems.

All participants must show sufficient proficiency in English, e.g. by a TOEFL test (minimum 550). The number of students is limited to 30.


Students must take 40 credits of courses and write a Masters thesis for 20 credits. Each course is worth 4 credits.

Core courses
· Applied computer security
· Reliable and fault-tolerant computer systems · Functional programming
· Software engineering using formal methods
· One of: Concurrent programming, Programming languages or Advanced functional programming.
· One Mathematics course; Cryptography, Mathematical logic or Discrete mathematics.

Students may specialise towards dependable architectures or dependable programming by choosing from the courses below. These are suggestions, other combinations of courses are permissible.

Dependable architectures
· Computer architecture
· Distributed systems II
· Hardware description and verification
· Parallel and distributed real-time systems
· Parallel computer systems

Dependable programming
· Advanced functional programming
· Algorithms II
· Hardware description and verification
· Semantics for programming languages
· Topics in computer languages

Research courses
Each year in the autumn we run a series of seven one-week intensive courses in hot research topics, different from year to year. Masters students in their fifth quarter may choose any three for four credits (or any six for eight).

Master's thesis project

The thesis work starts in the spring of the first year and the bulk is done during the last six months. Thesis projects may arise at Chalmers or from industrial partners. In either case, students receive individual supervision at the University.

Page manager Published: Thu 03 Nov 2022.