Develop the computer applications of today and tomorrow in a programme that prepares you for research and development in the industry.
Computer science – algorithms, languages and logic master's programme at Chalmers
Computer systems are becoming increasingly powerful and intelligent, and they rely on more sophisticated techniques. To master the complexity of these systems, it is essential to understand the core areas of computer science.
This master's programme offers a comprehensive foundation in the science of programming. It will give you a strong basis for developing the computer applications of today and tomorrow and for conducting innovative research and promoting development.
It is suitable for you who wishes to study the core areas of computer science on an advanced level in order to prepare for research and development in the software industry. It also provides an ideal basis for academic research in computer science.
The core of the programme covers four main areas of computing science
- Algorithms including artificial intelligence, machine learning and optimisation
- Logic including applications in hardware and software verification
- Programming languages with underlying principles, implementation techniques and advanced programming techniques.
- Computer security including cryptography and programming language-based approaches to security.
The optional segment of the master's programme gives you a broad range of courses in other areas of computer science, bioinformatics, software engineering, mathematics and other relevant areas.
Most students will have a BSc in computer science. However, the programme can also serve as a conversion course for students with BSc in related subjects, such as mathematics, physics or engineering sciences, provided they have basic knowledge of mathematics and programming and have completed an introductory computer science course such as data structures or algorithms.
The subjects of computer science, programming languages and algorithms are fundamental areas in Computer science – algorithms, languages and logic master’s programme. The courses included in the programme plan handle topics such as artificial intelligence, computer security and software technology.
Master's programme structure
The master's programme runs for a duration of two years, leading to a Master of Science (MSc) degree. During each year, students can earn 60 credits (ECTS) and complete the programme by accumulating a total of 120 credits. Credits are earned by completing courses where each course is usually 7.5 credits. The programme consists of compulsory courses, compulsory elective courses and elective courses.
Compulsory courses year 1
During the first year the programme starts with three compulsory courses that form a common foundation in Computer science – algorithms, languages and logic. Each course is usually 7.5 credits.
- Logic in computer science
- Programming language technology
Compulsory courses year 2
In the second year you must complete a master's thesis in order to graduate. The thesis may be worth 30 credits or 60 credits depending on your choice.
- The computer scientist in society
- Master’s thesis
Compulsory elective courses
Through compulsory elective courses, you can then specialize in one of the following profile tracks.
Profile track: Algorithms
- Algorithms advanced
- Algorithms for machine learning and inference
- Discrete optimization
Profile track: Logic and Verification
- Software engineering using formal methods
- Types for programmes and proofs
Profile track: Programming languages
- Compiler construction
- Advanced functional programming
- Parallel functional programming
Profile track: Security
- Programming language-based security
You will also be able to select courses outside of your programme plan. These are called elective courses. You can choose from a wide range of elective courses available at Chalmers.
You will acquire a strong computer science background and thus gain access to a wide range of opportunities in the information technology industry. Your subject knowledge will help you understand and contribute to technological advances.
Today, computers are everywhere and you may work both in traditional software companies as well as in many other lines of business where computations and computers are used. Some of the positions you can have after graduation are programmer, software developer, software architect, project leader and entrepreneur. You may work in both small start-ups as well as in large companies. Some examples include Ericsson and Volvo, and local companies such as Jeppesen, a leader in airline crew scheduling, or IT consultancy companies, just to mention a few.
The programme also gives you an excellent background for future PhD studies in computing, which can lead to a career as an academic researcher.
Research within Computer science – algorithms, languages and logic
Chalmers pursues vigorous and internationally recognised research in all core areas of the master's programme. Amongst other things, Chalmers is well-known for its research into functional programming. IT played a major role in the design and development of the standard lazy functional language Haskell. It has also developed a powerful testing tool called QuickCheck, which now has widespread use in the industry as well.
The ProSec group is finally applying methods from programming language theory to problems in security. The programming logic group is an international leader in its field with pioneering work in type theory and computer-assisted theorem proving. Members of the programming logic group also collaborate with linguists in the field of natural language processing. The algorithms group works on the design and analysis of algorithms and their applications in bioinformatics and networks in a broad sense, as well as AI and machine learning.
The formal methods group has explored automatic theorem proving techniques and applied them in cooperation with industry to discover bugs in computer programmes and to develop correct verified compilers.
Admissions academic year 2022/23
General entry requirements
An applicant must either have a Bachelor's degree in Science/Engineering/Technology/Architecture or be enrolled in his/her last year of studies leading to such a degree.
Specific entry requirements
Bachelor’s degree with a major in:
Science, Engineering or Technology
Prerequisites: Mathematics (including Calculus (at least 7,5 cr.) and Linear Algebra (at least 7,5 cr.)),
Programming in a General-Purpose Language (e.g. C/C++/Java/Haskell or similar (at least 7,5 cr.)), Algorithms and/or Data Structures (at least 5 cr.) and one of the following courses: Discrete Mathematics and/or Mathematical Statistics and/or Probability Theory.
Preferable course experience: Finite Automata Theory and Formal Languages, Mathematical Modelling and Problem Solving, Functional Programming, Multivariable Analysis.
English language requirements
Chalmers Bachelor’s degree
Are you enrolled in a Bachelor’s degree programme at Chalmers now or do you already have a Bachelor’s degree from Chalmers? If so, different application dates and application instructions apply.
Master of Science (MSc)Credits:
: Second Cycle, Master'sRate of study:
Full-time, 100%Instructional time:
DaytimeLanguage of instruction:
On-campus (Location: campus Johanneberg)Tuition fee:
140 000 SEK/academic year
*EU/EEA Citizens are not required to pay fees
Questions about the application:
Chalmers Admissions, firstname.lastname@example.org
Specific questions about the programme:Moa Johansson
, Director of master's programme
Other master's programmes that might interest you
The programme is highly interlinked with the achievement of the UN Sustainable Development goals (SDGs). The table below provides an overview of the sustainable development goals and the associated targets within the programme.
Goal 4: Quality education
In this programme, we provide the students with the foundational knowledge to build on throughout their careers and the tools for enabling lifelong learning in the fast-changing area of computer science.
Goal 9: Industry, innovation and infrastructure
Students learn how to develop robust and reliable software as well as the responsible and ethical use of emergent technology.
“I have learned how secure communication works”
Carl, Sweden, Computer science, algorithms, languages and logic
Why did you choose this programme?
– Coming from a computer science bachelor, I wanted to learn more about the art of software development. I chose this programme to get a deeper understanding of what is possible through programming. Through knowledge about the fundamental concepts of computer science, we can make our software better. One trait that really pulled me to this programme was the breadth of elective courses. I can choose to specialize in AI, optimization, security, programming languages and much more.
What have you been working on?
– I have gotten a much better grasp of how secure communication works in a course about cryptography. I also had the opportunity to work hands-on with encrypting and decrypting assignments as well as actively follow along on hypothetical hacking attempts. Very cool! Right now, I’m looking forward to developing an intelligent agent and learning about speech synthesizing in an upcoming course.
What do you like the most about your programme?
– Two things. Firstly, as mentioned before, there are a lot of different subjects within computer science that you can dive into through many elective courses. Second, the vast possibilities of career paths. The demand for engineers of computer science in many industries doesn’t appear to weaken any time soon.
What do you want to do in the future?
– Speaking of career paths, I hope to contribute to the space industry when I’ve graduated. I think that space exploration is a cool and important part of human endeavour, and if I can play a part in our journey to the stars, I’d be happy, grateful, and proud.