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 wish 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 optimization
- 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, such as bioinformatics, software engineering, mathematics and other relevant areas.
Most of our students have a bachelor's in computer science. However, the programme can also serve as a conversion course if you have a bachelor's degree in related subjects, such as mathematics, physics or engineering sciences, given that you have basic knowledge of mathematics and programming and have completed an introductory computer science course such as data structures or algorithms.
I have gained more knowledge of the design and implementation of machine learning and AI models, which has led me to people who share the same interest
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.
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.
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.
How to apply - From application to admission
This is a step-by-step guide on how to apply for a Master's programme at Chalmers University of Technology.